Seotsanyana, Motlatsi. “Temporal Logic Motion Planning”. Defence Science Journal 60, no. 1 (March 25, 2010): 23-38. Accessed May 9, 2024. https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/99.