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

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Jorge Luis Martínez-Valencia
Format:	Artículo científico
Language:	en
Published:	Universidad Distrital Francisco José de Caldas 2021
Subjects:	Ingeniería Büchi automata Petri networks motion planning formal languages linear temporal logic (LTL)
Online Access:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet