Autonomous vehicles’ behavioural analysis represents a major challenge in the automotive world. In order to ensure safety and fluidity of driving, various methods are available, in particular, simulation and formal verification. The analysis, however, has to cope with very complex environments depending on many parameters evolving in real time. In this context, none of the aforementioned approaches is fully satisfactory, which lead us to propose a combined methodology in order to point out suspicious behaviours more efficiently. We illustrate this approach by studying a non deterministic scenario involving a vehicle, which has to react to some perilous situation.
CITATION STYLE
Arcile, J., Sobieraj, J., Klaudel, H., & Hutzler, G. (2018). Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10767 LNAI, pp. 292–304). Springer Verlag. https://doi.org/10.1007/978-3-030-01713-2_21
Mendeley helps you to discover research relevant for your work.