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]
@inproceedings{ArcileSKH17,
title = {Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles' Behaviors: A Case Study},
author = {Johan Arcile and Jérémy Sobieraj and Hanna Klaudel and Guillaume Hutzler},
year = {2017},
doi = {10.1007/978-3-030-01713-2_21},
url = {https://doi.org/10.1007/978-3-030-01713-2_21},
researchr = {https://researchr.org/publication/ArcileSKH17},
cites = {0},
citedby = {0},
pages = {292-304},
booktitle = {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},
editor = {Francesco Belardinelli and Estefania Argente},
volume = {10767},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-01713-2},
}