Seotsanyana, M. Temporal Logic Motion Planning. Def. Sc. J. 2010, 60, 23-38.