Documents dont l'auteur est "Horel, Jean-Baptiste"

Pour citer ou exporter
Grouper par: Rôle | Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Nombre de documents: 2

2023

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). Lien externe

2022

Horel, J.-B., Laugier, C., Marsso, L., Mateescu, R., Muller, L., Paigwar, A., Renzaglia, A., & Serwe, W. (mars 2022). Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles [Communication écrite]. Design, Automation & Test in Europe Conference & Exhibition (DATE 2022), Antwerp, Belgium. Lien externe

Liste produite: Sat Oct 17 18:26:09 2026 EDT.