Síntesis automática de estrategias de control a través de lógicas temporales y redes de Petri para la planificación de movimientos en sistemas autónomos

Portada

Imagen en miniatura

Gestores Bibliográficos

Código QR

QR