Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia and Wendelin Serwe
Article (2023)
Document published while its authors were not affiliated with Polytechnique Montréal
An external link is available for this itemPolyPublie URL: | https://publications.polymtl.ca/64470/ |
---|---|
Journal Title: | Journal of Intelligent & Robotic Systems (vol. 107) |
Publisher: | Springer |
DOI: | 10.1007/s10846-023-01808-3 |
Official URL: | https://link.springer.com/article/10.1007/s10846-0... |
Date Deposited: | 10 Apr 2025 11:17 |
Last Modified: | 10 Apr 2025 11:17 |
Cite in 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 |
---|---|
Statistics
Dimensions