A counterexample to the Alexopoulos-Griffin path planning algorithm.

Robert A. Conn J. Elenes Moshe Kam

Published in: IEEE Trans. Syst. Man Cybern. Part B (1997)

Keyphrases

path planning algorithm
path planning
model checking
optimal path
formal verification
mobile robot
multiple robots
dynamic environments
multi robot
motion planning
collision avoidance
degrees of freedom
real time
robotic systems