Login / Signup
Modelling and analysis of a collision avoidance protocol using Spin and Uppaal.
Henrik Ejersbo Jensen
Kim G. Larsen
Arne Skou
Published in:
The Spin Verification System (1996)
Keyphrases
</>
collision avoidance
mobile robot
path planning
genetic algorithm
search algorithm
dynamic environments