Bruno Lacerda, Pedro U. Lima. LTL-based decentralized supervisory control of multi-robot tasks modelled as Petri nets. In 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2011, San Francisco, CA, USA, September 25-30, 2011. pages 3081-3086, IEEE, 2011. [doi]
Abstract is missing.