{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T21:54:26Z","timestamp":1769723666898,"version":"3.49.0"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,11,27]],"date-time":"2021-11-27T00:00:00Z","timestamp":1637971200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,27]],"date-time":"2021-11-27T00:00:00Z","timestamp":1637971200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-17-1-0050"],"award-info":[{"award-number":["FA9550-17-1-0050"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s10626-021-00355-z","type":"journal-article","created":{"date-parts":[[2021,11,27]],"date-time":"2021-11-27T13:03:40Z","timestamp":1638018220000},"page":"195-230","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications"],"prefix":"10.1007","volume":"32","author":[{"given":"Huanfei","family":"Zheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0146-7262","authenticated-orcid":false,"given":"Yue","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,27]]},"reference":[{"key":"355_CR1","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen JP (2008) Principles of model checking. MIT Press, Cambridge"},{"key":"355_CR2","doi-asserted-by":"crossref","unstructured":"Banks C, Wilson S, Coogan S, Egerstedt M (2020) Multi-agent task allocation using cross-entropy temporal logic optimization. In: 2020 IEEE International Conference on Robotics and Automation (ICRA). IEEE, pp 7712\u20137718","DOI":"10.1109\/ICRA40945.2020.9197066"},{"issue":"1","key":"355_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/MRA.2007.339624","volume":"14","author":"C Belta","year":"2007","unstructured":"Belta C, Bicchi A, Egerstedt M, Frazzoli E, Klavins E, Pappas GJ (2007) Symbolic planning and control of robot motion [grand challenges of robotics]. IEEE Robot Autom Mag 14(1):61\u201370","journal-title":"IEEE Robot Autom Mag"},{"key":"355_CR4","doi-asserted-by":"crossref","unstructured":"Chen Y, Ding XC, Belta C (2011) Synthesis of distributed control and communication schemes from global LTL specifications. In: Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on. IEEE, pp 2718\u20132723","DOI":"10.1109\/CDC.2011.6160740"},{"issue":"1","key":"355_CR5","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1109\/TRO.2011.2163434","volume":"28","author":"Y Chen","year":"2012","unstructured":"Chen Y, Ding XC, Stefanescu A, Belta C (2012) Formal approach to the deployment of distributed robotic teams. IEEE Trans Robot 28(1):158\u2013171","journal-title":"IEEE Trans Robot"},{"key":"355_CR6","doi-asserted-by":"crossref","unstructured":"Dai J, Benini A, Lin H, Antsaklis PJ, Rutherford MJ, Valavanis KP (2016) Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination. In: Control and Automation (MED), 2016 24th Mediterranean Conference on, IEEE, pp 1008\u20131013","DOI":"10.1109\/MED.2016.7536071"},{"issue":"3","key":"355_CR7","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MRA.2011.942117","volume":"18","author":"XC Ding","year":"2011","unstructured":"Ding XC, Kloetzer M, Chen Y, Belta C (2011) Automatic deployment of robotic teams. IEEE Robotics & Automation Magazine 18(3):75\u201386","journal-title":"IEEE Robotics & Automation Magazine"},{"key":"355_CR8","doi-asserted-by":"crossref","unstructured":"Faruq F, Parker D, Laccrda B, Hawes N (2018) Simultaneous task allocation and planning under uncertainty. In: 2018 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, pp 3559\u20133564","DOI":"10.1109\/IROS.2018.8594404"},{"key":"355_CR9","first-page":"1366","volume":"6","author":"R Fischer","year":"2015","unstructured":"Fischer R, Plessow F (2015) Efficient multitasking: parallel versus serial processing of multiple tasks. Frontiers in Psychology 6:1366","journal-title":"Frontiers in Psychology"},{"issue":"9","key":"355_CR10","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1177\/0278364904045564","volume":"23","author":"BP Gerkey","year":"2004","unstructured":"Gerkey BP, Matari\u0107 MJ (2004) A formal analysis and taxonomy of task allocation in multi-robot systems. Int J Robot Res 23(9):939\u2013954","journal-title":"Int J Robot Res"},{"issue":"2","key":"355_CR11","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1177\/0278364914546174","volume":"34","author":"M Guo","year":"2015","unstructured":"Guo M, Dimarogonas DV (2015) Multi-agent plan reconfiguration under local LTL specifications. Int J Robot Res 34(2):218\u2013235","journal-title":"Int J Robot Res"},{"issue":"2","key":"355_CR12","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1109\/TASE.2016.2628389","volume":"14","author":"M Guo","year":"2017","unstructured":"Guo M, Dimarogonas DV (2017) Task and motion coordination for heterogeneous multi-agent systems with loosely coupled local tasks. IEEE Trans Autom Sci Eng 14(2):797\u2013808","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"355_CR13","doi-asserted-by":"crossref","unstructured":"Henrich D, Honiger T (1997) Parallel processing approaches in robotics. In: ISIE\u201997 Proceeding of the IEEE international symposium on industrial electronics, vol 2. IEEE, pp 702\u2013707","DOI":"10.1109\/ISIE.1997.649079"},{"key":"355_CR14","doi-asserted-by":"crossref","unstructured":"Kantaros Y, Zavlanos MM (2017) Sampling-based control synthesis for multi-robot systems under global temporal specifications. In: 2017 ACM\/IEEE 8Th international conference on cyber-physical systems. IEEE, ICCPS, pp 3\u201314","DOI":"10.1145\/3055004.3055027"},{"issue":"7","key":"355_CR15","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1177\/0278364920913922","volume":"39","author":"Y Kantaros","year":"2020","unstructured":"Kantaros Y, Zavlanos MM (2020) Stylus*: a temporal logic optimal control synthesis algorithm for large-scale multi-robot systems. Int J Robot Res 39(7):812\u2013836","journal-title":"Int J Robot Res"},{"key":"355_CR16","doi-asserted-by":"crossref","unstructured":"Karaman S, Frazzoli E (2012) Sampling-based algorithms for optimal motion planning with deterministic \u03bc-calculus specifications. In: 2012 American Control Conference (ACC). IEEE, pp 735\u2013742","DOI":"10.1109\/ACC.2012.6315419"},{"issue":"5","key":"355_CR17","doi-asserted-by":"publisher","first-page":"890","DOI":"10.1016\/j.automatica.2011.01.078","volume":"47","author":"M Karimadini","year":"2011","unstructured":"Karimadini M, Lin H (2011) Guaranteed global performance through local coordinations. Automatica 47(5):890\u2013898","journal-title":"Automatica"},{"issue":"12","key":"355_CR18","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1177\/0278364913496484","volume":"32","author":"GA Korsah","year":"2013","unstructured":"Korsah GA, Stentz A, Dias MB (2013) A comprehensive taxonomy for multi-robot task allocation. Int J Robot Res 32(12):1495\u20131512","journal-title":"Int J Robot Res"},{"key":"355_CR19","doi-asserted-by":"crossref","unstructured":"Mahani MF, Wang Y (2018) Trust-based runtime verification for multi-quad-rotor motion planning with a human-in-the-loop. In: ASME 2018 Dynamic Systems and Control Conference, American Society of Mechanical Engineers Digital Collection","DOI":"10.1115\/DSCC2018-9174"},{"key":"355_CR20","doi-asserted-by":"crossref","unstructured":"Saha I, Ramaithitima R, Kumar V, Pappas GJ, Seshia SA (2014) Automated composition of motion primitives for multi-robot systems from safe LTL specifications. In: Intelligent robots and systems (IROS 2014), 2014 IEEE\/RSJ International Conference on. IEEE, pp 1525\u20131532","DOI":"10.1109\/IROS.2014.6942758"},{"key":"355_CR21","doi-asserted-by":"crossref","unstructured":"Schillinger P, B\u00fcrger M, Dimarogonas DV (2018a) Decomposition of finite LTL specifications for efficient multi-agent planning. In: Distributed Autonomous Robotic Systems, Springer, pp 253\u2013267","DOI":"10.1007\/978-3-319-73008-0_18"},{"issue":"7","key":"355_CR22","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1177\/0278364918774135","volume":"37","author":"P Schillinger","year":"2018","unstructured":"Schillinger P, B\u00fcrger M, Dimarogonas DV (2018b) Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems. IntJ Robot Res 37(7):818\u2013838","journal-title":"IntJ Robot Res"},{"key":"355_CR23","doi-asserted-by":"crossref","unstructured":"Shamgah L, Karimoddini A, Homaifar A (2016) A symbolic motion planning approach for the reach-avoid problem. In: 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), IEEE, pp 003955\u2013003960","DOI":"10.1109\/SMC.2016.7844851"},{"key":"355_CR24","doi-asserted-by":"crossref","unstructured":"Shiroma PM, Campos MF (2009) Comutar: A framework for multi-robot coordination and task allocation. In: 2009 IEEE\/RSJ international conference on intelligent robots and systems, IEEE, pp 4817\u20134824","DOI":"10.1109\/IROS.2009.5354166"},{"key":"355_CR25","doi-asserted-by":"crossref","unstructured":"Tumova J, Dimarogonas DV (2015) Decomposition of multi-agent planning under distributed motion and task LTL specifications. In: Decision and Control (CDC), 2015 IEEE 54th Annual Conference on, IEEE, pp 7448\u20137453","DOI":"10.1109\/CDC.2015.7403396"},{"key":"355_CR26","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.automatica.2016.04.006","volume":"70","author":"J Tumova","year":"2016","unstructured":"Tumova J, Dimarogonas DV (2016) Multi-agent planning under local LTL specifications and event-based synchronization. Automatica 70:239\u2013248","journal-title":"Automatica"},{"issue":"8","key":"355_CR27","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1177\/0278364913487931","volume":"32","author":"A Ulusoy","year":"2013","unstructured":"Ulusoy A, Smith SL, Ding XC, Belta C, Rus D (2013) Optimality and robustness in multi-robot path planning with temporal logic constraints. Int J Robot Res 32(8):889\u2013911","journal-title":"Int J Robot Res"},{"key":"355_CR28","doi-asserted-by":"crossref","unstructured":"Vasile CI, Belta C (2013) Sampling-based temporal logic path planning. In: 2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems, IEEE, pp 4817\u20134822","DOI":"10.1109\/IROS.2013.6697051"},{"issue":"4","key":"355_CR29","first-page":"31","volume":"8","author":"Y Wang","year":"2018","unstructured":"Wang Y, Humphrey LR, Liao Z, Zheng H (2018) Trust-based multi-robot symbolic motion planning with a human-in-the-loop. ACM Trans Interact Intell Syst (TiiS) 8(4):31","journal-title":"ACM Trans Interact Intell Syst (TiiS)"},{"key":"355_CR30","doi-asserted-by":"crossref","unstructured":"Zheng H, Wang Y (2019) A distributed framework for dynamic task allocation of multi-robot symbolic motion planning. In: 2019 American Control Conference (ACC). IEEE, pp 3291\u20133296","DOI":"10.23919\/ACC.2019.8814795"},{"key":"355_CR31","doi-asserted-by":"crossref","unstructured":"Zheng H, Liao Z, Wang Y (2018) Human-robot trust integrated task allocation and symbolic motion planning for heterogeneous multi-robot systems. In: ASME 2018 Dynamic Systems and Control Conference, American Society of Mechanical Engineers, pp V003T30A010\u2013V003T30A010","DOI":"10.1115\/DSCC2018-9161"},{"key":"355_CR32","doi-asserted-by":"crossref","unstructured":"Zlot RM, Stentz A (2006) An auction-based approach to complex task allocation for multirobot teams PhD thesis. Carnegie Mellon University, The Robotics Institute","DOI":"10.1142\/9789812772572_0022"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-021-00355-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-021-00355-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-021-00355-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,5]],"date-time":"2022-05-05T08:44:08Z","timestamp":1651740248000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-021-00355-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,27]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["355"],"URL":"https:\/\/doi.org\/10.1007\/s10626-021-00355-z","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,27]]},"assertion":[{"value":"18 December 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 November 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 November 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"<!--Emphasis Type='Bold' removed-->Conflict of Interests"}}]}}