Conference Papers

LTL-Based Decentralized Supervisory Control of Multi-Robot Tasks Modelled as Petri Nets

Proc. of IROS 2011 - IEEE/RSJ International Conference on Intelligent Robots and Systems, San Francisco, CA, USA