@inproceedings{barbier:hal-02127889, TITLE = {{Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking}}, AUTHOR = {Barbier, Mathieu and Renzaglia, Alessandro and Quilbeuf, Jean and Rummelhard, Lukas and Paigwar, Anshul and Laugier, Christian and Legay, Axel and Iba{\~n}ez-Guzm{\'a}n, Javier and Simonin, Olivier}, URL = {https://inria.hal.science/hal-02127889}, BOOKTITLE = {{IV 2019 - 30th IEEE Intelligent Vehicles Symposium}}, ADDRESS = {Paris, France}, PUBLISHER = {{IEEE}}, PAGES = {252-259}, YEAR = {2019}, MONTH = Jun, DOI = {10.1109/IVS.2019.8813793}, PDF = {https://inria.hal.science/hal-02127889/file/SMC_CMCDOT_WS_IV.pdf}, HAL_ID = {hal-02127889}, HAL_VERSION = {v1}, }