Title: Petri net based multi-robot task coordination from temporal logic specifications
Kind : Journal Papers
Published In: Robotics and Autonomous Systems, Vol. 122, 103289
URL : https://doi.org/10.1016/j.robot.2019.103289
Year : 2019
Authors : Bruno Lacerda
Pedro Manuel Urbano de Almeida Lima
Lab : Intelligent Robots and Systems Group (IRSg)
File : Open File