Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing

Lina Marsso, Radu Mateescu, Lucie Muller +1

We present two behavioral models of an autonomous vehicle and its interaction with the environment. Both models use the formal modeling language LNT provided by the CADP toolbox. T…