Seotsanyana M. Temporal Logic Motion Planning. Def. Sc. J. [Internet]. 2010 Mar. 25 [cited 2025 Jul. 6];60(1):23-38. Available from: https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/99