Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing.

Lina Marsso Radu Mateescu Lucie Muller Wendelin Serwe

Published in: MARS@ETAPS (2022)

Keyphrases

autonomous vehicles
path planning
structured environments
obstacle avoidance
neural network
mobile robot
traffic light