Skip to Main content Skip to Navigation
Conference papers

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 [2007-2015]
2 UGA [2016-2019] - Université Grenoble Alpes [2016-2019]
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
Document type :
Conference papers
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 : Friday, July 10, 2020 - 7:58:58 AM
Document(s) archivé(s) le : Sunday, February 9, 2020 - 7:06:30 PM

File

Vignette du document
FormalValidation_cmcdot_CISRAM...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02355551, version 1

Collections

LIG | LIG_MFML_CONVECS | CNRS | CONVECS | INSA-LYON | INRIA | INSA-GROUPE | CITI | UGA | UDL

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

167

Files downloads

556

Contact

Informations

CCSD