1. Principles of Robot Motion: Theory, Algorithms, and Implementations;Choset,2005
2. Intelligent Planning for Mobile Robotics: Algorithmic Approaches;Tiwari,2013
3. Artificial Intelligence: A Modern Approach;Russell,2010
4. Multihierarchical interactive task planning: Application to mobile robotics;Galindo;IEEE Trans. Syst. Man Cybern. B,2008
5. Principles of Model Checking;Baier,2008