Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu 0001, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe. Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. Journal of Intelligent and Robotic Systems, 107(4):59, April 2023. [doi]
Abstract is missing.