Petri net based multi-robot task coordination from temporal logic specifications
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 |