@inproceedings{quilbeuf:hal-01888556, TITLE = {{Statistical Model Checking Applied on Perception and Decision-making Systems for Autonomous Driving}}, AUTHOR = {Quilbeuf, Jean and Barbier, Mathieu and Rummelhard, Lukas and Laugier, Christian and Legay, Axel and Baudouin, Blanche and Genevois, Thomas and Iba{\~n}ez-Guzm{\'a}n, Javier and Simonin, Olivier}, URL = {https://inria.hal.science/hal-01888556}, BOOKTITLE = {{PPNIV 2018 - 10th Workshop on Planning, Perception and Navigation for Intelligent Vehicles}}, ADDRESS = {Madrid, Spain}, PAGES = {1-8}, YEAR = {2018}, MONTH = Oct, PDF = {https://inria.hal.science/hal-01888556/file/statistical%20model%20checking%20PPNIV_2018_final%281%29.pdf}, HAL_ID = {hal-01888556}, HAL_VERSION = {v1}, }