Seotsanyana, M. 2010. Temporal Logic Motion Planning. Defence Science Journal. 60, 1 (Mar. 2010), 23-38. DOI:https://doi.org/10.14429/dsj.60.99.