Jean-Claude Latombe Controllability, Recognizability, and Complexity Issues in Robot Motion Planning. 484-500 1995 conf/focs/1995 FOCS db/conf/focs/focs95.html#Latombe95 https://doi.org/10.1109/SFCS.1995.492579 https://doi.ieeecomputersociety.org/10.1109/SFCS.1995.492579