SEOTSANYANA, M. Temporal Logic Motion Planning. Defence Science Journal, v. 60, n. 1, p. 23-38, 25 mar. 2010.