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. Sci. tech 2018, 23, 490-500.