Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving

Fichier principal
Vignette du fichier
FormalValidation_cmcdot_CISRAM19.pdf (1.88 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02355551 , version 1 (08-11-2019)

Identifiers

  • HAL Id : hal-02355551 , version 1

Cite

Philippe Ledent, Anshul Paigwar, Alessandro Renzaglia, Radu Mateescu, Christian Laugier. Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving. CIS-RAM 2019 - 9th IEEE International Conference on Cybernetics and Intelligent Systems (CIS) Robotics, Automation and Mechatronics (RAM), Nov 2019, Bangkok, Thailand. pp.1-6. ⟨hal-02355551⟩
317 View
471 Download

Share

Gmail Mastodon Facebook X LinkedIn More