VerifCar: a framework for modeling and model checking communicating autonomous vehicles
| Autor: | Hanna Klaudel, Raymond Devillers, Johan Arcile |
|---|---|
| Přispěvatelé: | Informatique, BioInformatique, Systèmes Complexes (IBISC), Université d'Évry-Val-d'Essonne (UEVE), Département d'Informatique, Université libre de Bruxelles (ULB), Université d'Évry-Val-d'Essonne (UEVE)-Université Paris-Saclay, Département de Mathématique [Bruxelles] (ULB), Faculté des Sciences [Bruxelles] (ULB), Université libre de Bruxelles (ULB)-Université libre de Bruxelles (ULB) |
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
Model checking
Theoretical computer science Computer science Communicating autonomous vehicles 02 engineering and technology Model Checking [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] Artificial Intelligence Robustness (computer science) 0502 economics and business 0202 electrical engineering electronic engineering information engineering State space Timed Automata Timed automata Formal verification Formal Verification [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC] 050210 logistics & transportation 05 social sciences [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] Généralités Intelligence artificielle Automaton Parametric model Communicating Autonomous Vehicles 020201 artificial intelligence & image processing |
| Zdroj: | Autonomous Agents and Multi-Agent Systems Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2019, 33 (3), pp.353--381. ⟨10.1007/s10458-019-09409-x⟩ 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020) 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), May 2020, Auckland, New Zealand. pp.2126--2127 Autonomous agents and multi-agent systems, 33 (3 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), May 2020, Auckland, New Zealand. pp.2126-2127, ⟨10.1007/s10458-019-09409-x⟩ Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2020-May Autonomous Agents and Multi-Agent Systems, 2019, 33 (3), pp.353--381. ⟨10.1007/s10458-019-09409-x⟩ AAMAS |
| ISSN: | 1387-2532 1573-7454 |
| Popis: | This paper presents a framework, called VerifCar, devoted to the validation of decision policies of communicating autonomous vehicles (CAVs). The approach focuses on the formal modeling of CAVs by means of timed automata, allowing a formal and exhaustive analysis of the behaviors of vehicles. VerifCar supports a parametric modeling of CAV systems as a network of timed automata tailored for verification and limiting the well-known state space explosion. As an illustration, VerifCar is applied to check robustness and efficiency, as well as to asses the impact of communication delays on the decision algorithms of CAVs, on well chosen case studies representing real-life critical situations. SCOPUS: cp.p info:eu-repo/semantics/published |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink