Sign in
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
Published in:
DATE (2022)
Keyphrases
</>
autonomous vehicles
structured environments
path planning
obstacle avoidance
route planning
cooperative
mobile robot
multiagent systems
autonomous agents
global optimization
complex environments
formal specification