MARTÍNEZ VALENCIA, J. L.; HOLGUÍN LONDOÑO, M.; HOLGUÍN LONDOÑO, G. A. Metodología de síntesis de autómatas para controlar sistemas de navegación autónoma terrestre. Scientia et Technica, [S. l.], v. 23, n. 4, p. 490–500, 2018. DOI: 10.22517/23447214.18121. Disponível em: https://revistas.utp.edu.co/index.php/revistaciencia/article/view/18121. Acesso em: 8 may. 2024.