Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles' Behaviors: A Case Study.

Johan Arcile, Jrmy Sobieraj, Hanna Klaudel, Guillaume Hutzler

Browse the full EUMAS paper archive.