Ioannis Filippidis, Dimos V. Dimarogonas, Kostas J. Kyriakopoulos. Decentralized multi-agent control from local LTL specifications. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 6235-6240, IEEE, 2012. [doi]
Abstract is missing.