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

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jorge Luis Martínez-Valencia
Format:	Artículo científico
Sprache:	en
Veröffentlicht:	Universidad Distrital Francisco José de Caldas 2021
Schlagworte:	Ingeniería Büchi automata Petri networks motion planning formal languages linear temporal logic (LTL)
Online-Zugang:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online