Johan Arcile, Jérémy Sobieraj, Hanna Klaudel, Guillaume Hutzler. Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles' Behaviors: A Case Study. In Francesco Belardinelli, Estefania Argente, editors, Multi-Agent Systems and Agreement Technologies - 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Évry, France, December 14-15, 2017, Revised Selected Papers. Volume 10767 of Lecture Notes in Computer Science, pages 292-304, Springer, 2017. [doi]
Abstract is missing.