@inproceedings{ledent:hal-02355551, TITLE = {{Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving}}, AUTHOR = {Ledent, Philippe and Paigwar, Anshul and Renzaglia, Alessandro and Mateescu, Radu and Laugier, Christian}, URL = {https://inria.hal.science/hal-02355551}, BOOKTITLE = {{CIS-RAM 2019 - 9th IEEE International Conference on Cybernetics and Intelligent Systems (CIS) Robotics, Automation and Mechatronics (RAM)}}, ADDRESS = {Bangkok, Thailand}, PUBLISHER = {{IEEE}}, PAGES = {1-6}, YEAR = {2019}, MONTH = Nov, PDF = {https://inria.hal.science/hal-02355551/file/FormalValidation_cmcdot_CISRAM19.pdf}, HAL_ID = {hal-02355551}, HAL_VERSION = {v1}, }