Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2019

Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving

Domaines

Robotique [cs.RO] Théorie et langage formel [cs.FL] Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
FormalValidation_cmcdot_CISRAM19.pdf (1.88 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Anshul Paigwar  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 8 novembre 2019-12:15:47

Dernière modification le : mercredi 18 décembre 2024-09:54:53

Archivage à long terme le : dimanche 9 février 2020-19:06:30

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-02355551 , version 1

Citer

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⟩

Exporter

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
335 Consultations
526 Téléchargements

Partager

More