{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T02:46:47Z","timestamp":1769741207054,"version":"3.49.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319730066","type":"print"},{"value":"9783319730080","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73008-0_18","type":"book-chapter","created":{"date-parts":[[2018,3,13]],"date-time":"2018-03-13T15:18:49Z","timestamp":1520954329000},"page":"253-267","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Schillinger","sequence":"first","affiliation":[]},{"given":"Mathias","family":"B\u00fcrger","sequence":"additional","affiliation":[]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,14]]},"reference":[{"issue":"8","key":"18_CR1","doi-asserted-by":"publisher","first-page":"3736","DOI":"10.1016\/j.eswa.2013.11.044","volume":"41","author":"M Agarwal","year":"2014","unstructured":"Agarwal, M., Kumar, N., Vig, L.: Non-additive multi-objective robot coalition formation. Expert Syst. Appl. 41(8), 3736\u20133747 (2014)","journal-title":"Expert Syst. Appl."},{"key":"18_CR2","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"issue":"1","key":"18_CR3","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1109\/TRO.2011.2163434","volume":"28","author":"Y Chen","year":"2012","unstructured":"Chen, Y., Ding, X.C., Stefanescu, A., Belta, C.: Formal approach to the deployment of distributed robotic teams. IEEE Trans. Robot. 28(1), 158\u2013171 (2012)","journal-title":"IEEE Trans. Robot."},{"key":"18_CR4","unstructured":"De Giacomo, G., Vardi, M.: Linear temporal logic and linear dynamic logic on finite traces. In: International Joint Conference on Artificial Intelligence (IJCAI), pp. 854\u2013860. Association for Computing Machinery (2013)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"De\u00a0Giacomo, G., De\u00a0Masellis, R., Montali, M.: Reasoning on LTL on finite traces: insensitivity to infiniteness. In: AAAI, pp. 1027\u20131033. Citeseer (2014)","DOI":"10.1609\/aaai.v28i1.8872"},{"issue":"3","key":"18_CR6","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1049\/iet-cta.2014.0611","volume":"9","author":"J Fu","year":"2015","unstructured":"Fu, J., Tanner, H., Heinz, J.: Concurrent multi-agent systems with temporal logic objectives: game theoretic analysis and planning through negotiation. IET Control Theory Appl. 9(3), 465\u2013474 (2015)","journal-title":"IET Control Theory Appl."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Gerth, R., Peled, D., Vardi, M., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: International Symposium on Protocol Specification, Testing and Verification. IFIP (1995)","DOI":"10.1007\/978-0-387-34892-6_1"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Guo, M., Dimarogonas, D.V.: Bottom-up motion and task coordination for loosely-coupled multi-agent systems with dependent local tasks. In: CASE, pp. 348\u2013355. IEEE (2015)","DOI":"10.1109\/CoASE.2015.7294103"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Karaman, S., Frazzoli, E.: Vehicle routing problem with metric temporal logic specifications. In: Conference on Decision and Control (CDC), pp. 3953\u20133958. IEEE (2008)","DOI":"10.1109\/CDC.2008.4739366"},{"issue":"1","key":"18_CR10","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TRO.2009.2035776","volume":"26","author":"M Kloetzer","year":"2010","unstructured":"Kloetzer, M., Belta, C.: Automatic deployment of distributed teams of robots from temporal logic motion specifications. IEEE Trans. Robot. 26(1), 48\u201361 (2010)","journal-title":"IEEE Trans. Robot."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Kloetzer, M., Mahulea, C.: Accomplish multi-robot tasks via Petri net models. In: International Conference on Automation Science and Engineering (CASE), pp. 304\u2013309. IEEE (2015)","DOI":"10.1109\/CoASE.2015.7294096"},{"issue":"3","key":"18_CR12","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.: Model checking of safety properties. Form. Methods Syst. Des. 19(3), 291\u2013314 (2001)","journal-title":"Form. Methods Syst. Des."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Lacerda, B., Lima, P.: LTL-based decentralized supervisory control of multi-robot tasks modelled as Petri nets. In: International Conference on Intelligent Robots and Systems (IROS), pp. 3081\u20133086. IEEE (2011)","DOI":"10.1109\/IROS.2011.6048460"},{"key":"18_CR14","first-page":"335","volume-title":"Springer Tracts in Advanced Robotics","author":"Ryan Luna","year":"2015","unstructured":"Luna, R., Lahijanian, M., Moll, M., Kavraki, L.: Asymptotically optimal stochastic motion planning with temporal goals. In: Algorithmic Foundations of Robotics XI, pp. 335\u2013352. Springer, Berlin (2015)"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Raman, V., Kress-Gazit, H.: Synthesis for multi-robot controllers with interleaved motion. In: International Conference on Robotics and Automation (ICRA), pp. 4316\u20134321. IEEE (2014)","DOI":"10.1109\/ICRA.2014.6907487"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Raman, V., Finucane, C., Kress-Gazit, H.: Temporal logic robot mission planning for slow and fast actions. In: International Robots and Systems (IROS), pp. 251\u2013256. IEEE (2012)","DOI":"10.1109\/IROS.2012.6385935"},{"issue":"14","key":"18_CR17","doi-asserted-by":"publisher","first-page":"1695","DOI":"10.1177\/0278364911417911","volume":"30","author":"Stephen L Smith","year":"2011","unstructured":"Smith, S., Tumova, J., Belta, C., Rus, D.: Optimal path planning for surveillance with temporal logic constraints. Int. J. Robot. Res. 30, 1695\u20131708 (2011)","journal-title":"The International Journal of Robotics Research"},{"key":"18_CR18","unstructured":"Stefanescu, A.: Automatic synthesis of distributed transition systems. Ph.D. thesis, University of Stuttgart (2006)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Tumova, J., Dimarogonas, D.V.: Decomposition of multi-agent planning under distributed motion and task LTL specifications. In: CDC, pp. 1775\u20131780. IEEE (2015)","DOI":"10.1109\/CDC.2015.7403396"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Ulusoy, A., Smith, S., Ding, X.C., Belta, C.: Robust multi-robot optimal path planning with temporal logic constraints. In: International Conference on Robotics and Automation (ICRA), pp. 4693\u20134698. IEEE (2012)","DOI":"10.1109\/ICRA.2012.6224792"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Wolff, E., Topcu, U., Murray, R.: Optimization-based trajectory generation with linear temporal logic specifications. In: International Conference on Robotics and Automation (ICRA), pp. 5319\u20135325. IEEE (2014)","DOI":"10.1109\/ICRA.2014.6907641"},{"key":"18_CR22","first-page":"261","volume-title":"Lecture Notes in Computer Science","author":"Pierre Wolper","year":"2001","unstructured":"Wolper, P.: Constructing automata from temporal logic formulas: a tutorial. In: Lectures on Formal Methods and Performance Analysis, pp. 261\u2013277. Springer, Berlin (2001)"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Zlot, R., Stentz, A.: Complex task allocation for multiple robots. In: International Conference on Robotics and Automation (ICRA), pp. 1515\u20131522. IEEE (2005)","DOI":"10.1109\/ROBOT.2005.1570329"}],"container-title":["Springer Proceedings in Advanced Robotics","Distributed Autonomous Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73008-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T19:30:18Z","timestamp":1751484618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73008-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319730066","9783319730080"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73008-0_18","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"value":"2511-1256","type":"print"},{"value":"2511-1264","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"14 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}