Seotsanyana, M. (2010) “Temporal Logic Motion Planning”, Defence Science Journal, 60(1), pp. 23-38. doi: 10.14429/dsj.60.99.