SEOTSANYANA, M. Temporal Logic Motion Planning. Defence Science Journal, [S. l.], v. 60, n. 1, p. 23–38, 2010. DOI: 10.14429/dsj.60.99. Disponível em: https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/99. Acesso em: 6 jul. 2025.