Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. - Jean-Baptiste Horel; Christian Laugier; Lina Marsso; Radu Mateescu 001; Lucie Muller; Anshul Paigwar; Alessandro Renzaglia; Wendelin Serwe (DATE, 2022)

Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. - Lina Marsso; Radu Mateescu 001; Lucie Muller; Wendelin Serwe (MARS@ETAPS, 2022)

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 001; Anshul Paigwar; Alessandro Renzaglia; Wendelin Serwe (J. Intell. Robotic Syst., 2023)