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