Analysis of Path Planning Algorithms: a Formal Verification-based Approach.

Arash Khabbaz Saberi Jan Friso Groote Sarmen Keshishzadeh

Published in: ECAL (2013)

Keyphrases

path planning
formal verification
mobile robot
obstacle avoidance
potential field
collision avoidance
dynamic environments
model checking
path planning algorithm
orders of magnitude
autonomous vehicles
aerial vehicles