Methodology for the Synthesis of Automata in the Planning of Movements for Autonomous Systems with Multiple Agents

Fuente: Redalyc

Guardado en:

Detalles Bibliográficos
Autor principal:	Jorge Luis Martínez-Valencia
Formato:	Artículo científico
Lenguaje:	en
Publicado:	Universidad Distrital Francisco José de Caldas 2021
Materias:	Ingeniería Büchi automata Petri networks motion planning formal languages linear temporal logic (LTL)
Acceso en línea:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet