Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving

Philippe Ledent 1, 2 Anshul Paigwar 3, 2 Alessandro Renzaglia 3, 2 Radu Mateescu 1, 2 Christian Laugier 3, 2
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
3 CHROMA - Robots coopératifs et adaptés à la présence humaine en environnements dynamiques
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-02355551
Contributor : Anshul Paigwar <>
Submitted on : Friday, November 8, 2019 - 12:15:47 PM
Last modification on : Thursday, November 21, 2019 - 3:32:34 PM

File

FormalValidation_cmcdot_CISRAM...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02355551, version 1

Citation

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⟩

Share

Metrics

Record views

65

Files downloads

316