most citedFormally Modeling Autonomous Vehicles in LNT for Simulation and Testing

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2022★ 4 cited

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…