Martínez Valencia, J. L., Holguín Londoño, M., & Holguín Londoño, G. A. (2018). Metodología de síntesis de autómatas para controlar sistemas de navegación autónoma terrestre. Scientia Et Technica, 23(4), 490–500. https://doi.org/10.22517/23447214.18121