Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas. Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning. In Roderich Groß, Andreas Kolling, Spring Berman, Emilio Frazzoli, Alcherio Martinoli, Fumitoshi Matsuno, Melvin Gauci, editors, Distributed Autonomous Robotic Systems, The 13th International Symposium, DARS 2016, Natural History Museum, London, UK, November 7-9, 2016. Volume 6 of Springer Proceedings in Advanced Robotics, pages 253-267, Springer, 2016. [doi]
Abstract is missing.