External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning

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]

Authors

Philipp Schillinger

This author has not been identified. Look up 'Philipp Schillinger' in Google

Mathias Bürger

This author has not been identified. Look up 'Mathias Bürger' in Google

Dimos V. Dimarogonas

This author has not been identified. Look up 'Dimos V. Dimarogonas' in Google
runs on