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

Domains

Robotics [cs.RO] Formal Languages and Automata Theory [cs.FL] Artificial Intelligence [cs.AI]
Fichier principal
Vignette du fichier
FormalValidation_cmcdot_CISRAM19.pdf (1.88 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Anshul Paigwar  : Connect in order to contact the contributor

https://inria.hal.science/hal-02355551

Submitted on : Friday, November 8, 2019-12:15:47 PM

Last modification on : Thursday, April 4, 2024-9:28:23 PM

Long-term archiving on: Sunday, February 9, 2020-7:06:30 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA INSA-LYON LIG LIG_MFML_CONVECS CONVECS INRIA2 CITI INSA-GROUPE UDL LIG_SIDCH
315 View
454 Download

Share

Gmail Facebook X LinkedIn More