Login / Signup

Modelling and analysis of a collision avoidance protocol using Spin and Uppaal.

Henrik Ejersbo JensenKim G. LarsenArne Skou
Published in: The Spin Verification System (1996)
Keyphrases
  • collision avoidance
  • mobile robot
  • path planning
  • genetic algorithm
  • search algorithm
  • dynamic environments