Jean-Baptiste Horel, Philippe Ledent, Lina Marsso
, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia et Wendelin Serwe
Article de revue (2023)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Un lien externe est disponible pour ce document
| 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... |
| Date du dépôt: | 10 avr. 2025 11:17 |
| Dernière modification: | 10 avr. 2025 11:17 |
| 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 |
