Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model

Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe

Article de revue (2023)

Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Voir chez l'éditeur officiel
Adresse URL de PolyPublie:
https://publications.polymtl.ca/64470/
Titre de la revue :
Journal of Intelligent & Robotic Systems ( vol. 107 )
Maison d'édition:
Springer
DOI:
10.1007/s10846-023-01808-3
URL officielle:
https://link.springer.com/article/10.1007/s10846-0...
OAI:
oai:publications.polymtl.ca:64470
ORCID
Date du dépôt:
10 avr. 2025 11:17
Dernière modification:
14 oct. 2026 14:25
Citer en APA 7:
Horel, J.-B., Ledent, P., Marsso, L., Muller, L., Laugier, C., Mateescu, R., Paigwar, A., Renzaglia, A., & Serwe, W. (2023). Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. Journal of Intelligent & Robotic Systems, 107, 59 (28 pages). https://link.springer.com/article/10.1007/s10846-023-01808-3

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document