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

Fuente: Redalyc

Enregistré dans:

Détails bibliographiques
Auteur principal:	Jorge Luis Martínez-Valencia
Format:	Artículo científico
Langue:	en
Publié:	Universidad Distrital Francisco José de Caldas 2021
Sujets:	Ingeniería Büchi automata Petri networks motion planning formal languages linear temporal logic (LTL)
Accès en ligne:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet