Formal Verification of Multi-agent Plans for Vehicle Platooning
Bibliographic Data
| ID | 23606696 |
|---|---|
| Authors | Thao Nguyen Van (University of Kassel), Kurt Geihs (0000-0001-9833-6108, University of Kassel, corresponding author) |
| Year | 2021 |
| Pages | 3-15 |
| Publication date | 2021-01-01 |
| Open Access | Yes |
| Type | CHAPTER |
| Venue | Context-Aware Systems and Applications, and Nature of Computation and Communication (SOURCE_BOOK) |
| Publisher | Springer International Publishing (PUBLISHER • SG) |
| DOI | 10.1007/978-3-030-67101-3_1 |
| OpenAlex | W3120599496 |
| ISBN | 9783030671013 |
| Language | EN |
| References cited | 12 |
Certification · Control (management) · Model checking · Multi-agent system · Operating system · Platoon · Process (computing) · Programming language · Software engineering · Advanced Software Engineering Methodologies · Artificial Intelligence · Computer Science · Formal Methods in Verification · Model-Driven Software Engineering Techniques
| Highly cited | No |
|---|