Volver a los detalles del artículo Metodología de síntesis de autómatas para controlar sistemas de navegación autónoma terrestre Descargar Descargar PDF