
Petri net based multi-robot task coordination from temporal logic specifications
Lacerda, Bruno, U. Lima, PedroVolume:
122
Langue:
english
Journal:
Robotics and Autonomous Systems
DOI:
10.1016/j.robot.2019.103289
Date:
December, 2019
Fichier:
PDF, 760 KB
english, 2019