Lucie Muller

According to our database, Lucie Muller authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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

J. Intell. Robotic Syst., April, 2023

2022

Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing.

Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe

Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022

Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles.

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

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022