Decentralized discrete-event modeling and control of task execution for robotic networks | IEEE Conference Publication | IEEE Xplore