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)