@inproceedings{paigwar:hal-02696444, TITLE = {{Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking}}, AUTHOR = {Paigwar, Anshul and Baranov, Eduard and Renzaglia, Alessandro and Laugier, Christian and Legay, Axel}, URL = {https://inria.hal.science/hal-02696444}, BOOKTITLE = {{IV 2020 -- 31st IEEE Intelligent Vehicles Symposium}}, ADDRESS = {Las Vegas, NV, United States}, PAGES = {1-7}, YEAR = {2020}, MONTH = Oct, PDF = {https://inria.hal.science/hal-02696444/file/SMC_risk_estimation.pdf}, HAL_ID = {hal-02696444}, HAL_VERSION = {v1}, }