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