Martínez Valencia, Jorge Luis, Mauricio Holguín Londoño, y Germán Andrés Holguín Londoño. «Metodología De síntesis De autómatas Para Controlar Sistemas De navegación autónoma Terrestre». Scientia et Technica 23, no. 4 (diciembre 30, 2018): 490–500. Accedido mayo 8, 2024. https://revistas.utp.edu.co/index.php/revistaciencia/article/view/18121.