LTL-based decentralized supervisory control of multi-robot tasks modelled as Petri nets.

Bruno Lacerda, Pedro U. Lima

Browse the full IROS paper archive.