LTL-Based Decentralized Supervisory Control of Multi-Robot Tasks Modelled as Petri Nets
Title: | LTL-Based Decentralized Supervisory Control of Multi-Robot Tasks Modelled as Petri Nets |
---|---|
Kind : | Conference Papers |
Published In: | Proc. of IROS 2011 - IEEE/RSJ International Conference on Intelligent Robots and Systems, San Francisco, CA, USA |
Year : | 2011 |
Authors : |
Bruno Lacerda |
Lab : | Intelligent Robots and Systems Group (IRSg) |