{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:04Z","timestamp":1750309264366,"version":"3.41.0"},"reference-count":66,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2024,11,16]],"date-time":"2024-11-16T00:00:00Z","timestamp":1731715200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2024,12,31]]},"abstract":"<jats:p>We present novel techniques for simultaneous task allocation and planning in multi-robot systems operating under uncertainty. By performing task allocation and planning simultaneously, allocations are informed by individual robot behaviour, creating more efficient team behaviour. We go beyond existing work by planning for task reallocation across the team given a model of partial task satisfaction under potential robot failures and uncertain action outcomes. We model the problem using Markov decision processes, with tasks encoded in co-safe linear temporal logic, and optimise for the expected number of tasks completed by the team. To avoid the inherent complexity of joint models, we propose an alternative model that simultaneously considers task allocation and planning, but in a sequential fashion. We then build a joint policy from the sequential policy obtained from our model, thus allowing for concurrent policy execution. Furthermore, to enable adaptation in the case of robot failures, we consider replanning from failure states and propose an approach to preemptively replan in an anytime fashion, replanning for more probable failure states first. Our method also allows us to quantify the performance of the team by providing an analysis of properties, such as the expected number of completed tasks under concurrent policy execution. We implement and extensively evaluate our approach on a range of scenarios. We compare its performance to a state-of-the-art baseline in decoupled task allocation and planning: sequential single-item auctions. Our approach outperforms the baseline in terms of computation time and the number of times replanning is required on robot failure.<\/jats:p>","DOI":"10.1145\/3665499","type":"journal-article","created":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T17:34:02Z","timestamp":1716917642000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Framework for Simultaneous Task Allocation and Planning under Uncertainty"],"prefix":"10.1145","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6928-0176","authenticated-orcid":false,"given":"Fatma","family":"Faruq","sequence":"first","affiliation":[{"name":"University of Birmingham, Birmingham, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0862-331X","authenticated-orcid":false,"given":"Bruno","family":"Lacerda","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7556-6098","authenticated-orcid":false,"given":"Nick","family":"Hawes","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4137-8862","authenticated-orcid":false,"given":"David","family":"Parker","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, UK"}]}],"member":"320","published-online":{"date-parts":[[2024,11,16]]},"reference":[{"issue":"14","key":"e_1_3_1_2_2","doi-asserted-by":"crossref","first-page":"1760","DOI":"10.1177\/0278364916679611","article-title":"Policy search for multi-robot coordination under uncertainty","volume":"35","author":"Amato Christopher","year":"2016","unstructured":"Christopher Amato, George Konidaris, Ariel Anders, Gabriel Cruz, JonathanP How, and Leslie P Kaelbling. 2016. Policy search for multi-robot coordination under uncertainty. The International Journal of Robotics Research. 35, 14 (Dec 2016), 1760\u20131778. 10.1177\/0278364916679611","journal-title":"The International Journal of Robotics Research"},{"key":"e_1_3_1_3_2","doi-asserted-by":"crossref","first-page":"817","DOI":"10.1613\/jair.1.11418","article-title":"Modeling and Planning with Macro-Actions in Decentralized POMDPs","volume":"64","author":"Amato Christopher","year":"2019","unstructured":"Christopher Amato, George Konidaris, Leslie P. Kaelbling, and Jonathan P. How. 2019. Modeling and Planning with Macro-Actions in Decentralized POMDPs. Journal of Artificial Intelligence Research 64 (2019), 817\u2013859.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"e_1_3_1_4_2","first-page":"29","volume-title":"Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS)","author":"Atzmon Dor","year":"2020","unstructured":"Dor Atzmon, Roni Stern, Ariel Felner, Nathan R. Sturtevant, and Sven Koenig. 2020. Probabilistic Robust Multi-Agent Path Finding. In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS). 29\u201337."},{"key":"e_1_3_1_5_2","first-page":"4323","volume-title":"Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS \u201920)","author":"Azevedo Carlos","year":"2020","unstructured":"Carlos Azevedo, Bruno Lacerda, Nick Hawes, and Pedro Lima. 2020. Long-Run Multi-Robot Planning under Uncertain Action Durations for Persistent Tasks. In Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS \u201920). 4323\u20134328."},{"key":"e_1_3_1_6_2","first-page":"1160","volume-title":"Proceedings of the 13th National Conference on Artificial Intelligence (AAAI)","author":"Bacchus Fahiem","year":"1996","unstructured":"Fahiem Bacchus, Craig Boutilier, and Adam Grove. 1996. Rewarding Behaviors. In Proceedings of the 13th National Conference on Artificial Intelligence (AAAI). 1160\u20131167."},{"key":"e_1_3_1_7_2","volume-title":"Principles of Model Checking","author":"Baier Christel","year":"2008","unstructured":"Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT Press."},{"key":"e_1_3_1_8_2","doi-asserted-by":"crossref","first-page":"936","DOI":"10.1109\/ICRA.2019.8794457","volume-title":"Proceedings of the International Conference on Robotics and Automation (ICRA \u201919)","author":"Bajcsy Andrea","year":"2019","unstructured":"Andrea Bajcsy, Sylvia L. Herbert, David Fridovich-Keil, Jaime F. Fisac, Sampada Deglurkar, Anca D. Dragan, and Claire J. Tomlin. 2019. A Scalable Framework for Real-Time Multi-Robot, Multi-Human Collision Avoidance. In Proceedings of the International Conference on Robotics and Automation (ICRA \u201919). IEEE, 936\u2013943."},{"key":"e_1_3_1_9_2","first-page":"271","volume-title":"Proceedings of the IEEE International Conference on Robotics and Automation (ICRA \u201901)","author":"Bennewitz Maren","year":"2001","unstructured":"Maren Bennewitz, Wolfram Burgard, and Sebastian Thrun. 2001. Optimizing Schedules for Prioritized Path Planning of Multi-Robot Systems. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA \u201901). IEEE, 271\u2013276."},{"issue":"2","key":"e_1_3_1_10_2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/S0921-8890(02)00256-7","article-title":"Finding and Optimizing Solvable Priority Schemes for Decoupled Path Planning Techniques for Teams of Mobile Robots","volume":"41","author":"Bennewitz Maren","year":"2002","unstructured":"Maren Bennewitz, Wolfram Burgard, and Sebastian Thrun. 2002. Finding and Optimizing Solvable Priority Schemes for Decoupled Path Planning Techniques for Teams of Mobile Robots. Robotics and Autonomous Systems 41, 2\u20133 (2002), 89\u201399.","journal-title":"Robotics and Autonomous Systems"},{"key":"e_1_3_1_11_2","first-page":"195","volume-title":"Proceedings of the 6th Conference on Theoretical Aspects of Rationality and Knowledge (TARK)","author":"Boutilier Craig","year":"1996","unstructured":"Craig Boutilier. 1996. Planning, Learning and Coordination in Multiagent Decision Processes. In Proceedings of the 6th Conference on Theoretical Aspects of Rationality and Knowledge (TARK). 195\u2013210."},{"key":"e_1_3_1_12_2","first-page":"1771","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","volume":"32","author":"Brafman Ronen","year":"2018","unstructured":"Ronen Brafman, Giuseppe De Giacomo, and Fabio Patrizi. 2018. LTLf\/LDLf Non-Markovian Rewards. In Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 32, 1771\u20131778."},{"doi-asserted-by":"publisher","key":"e_1_3_1_13_2","DOI":"10.1177\/0278364913483345"},{"key":"e_1_3_1_14_2","first-page":"1247","volume-title":"Proceedings of the IEEE International Conference on Automation Science and Engineering (CASE \u201921)","author":"Chen Ji","year":"2021","unstructured":"Ji Chen, Ruojia Sun, and Hadas Kress-Gazit. 2021. Distributed Control of Robotic Swarms from Reactive High-Level Specifications. In Proceedings of the IEEE International Conference on Automation Science and Engineering (CASE \u201921). IEEE, 1247\u20131254."},{"key":"e_1_3_1_15_2","first-page":"492","volume-title":"Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"Claes Daniel","year":"2017","unstructured":"Daniel Claes, Frans Oliehoek, Hendrik Baier, and Karl Tuyls. 2017. Decentralised Online Planning for Multi-Robot Warehouse Commissioning. In Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). 492\u2013500."},{"key":"e_1_3_1_16_2","first-page":"881","volume-title":"Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"Claes Daniel","year":"2015","unstructured":"Daniel Claes, Philipp Robbel, Frans A. Oliehoek, Karl Tuyls, Daniel Hennes, and Wiebe van der Hoek. 2015. Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks. In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). 881\u2013890."},{"key":"e_1_3_1_17_2","first-page":"267","volume-title":"Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"Cubuktepe Murat","year":"2020","unstructured":"Murat Cubuktepe, Zhe Xu, and Ufuk Topcu. 2020. Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. In Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). 267\u2013275."},{"key":"e_1_3_1_18_2","doi-asserted-by":"crossref","first-page":"955","DOI":"10.1613\/jair.1.12233","article-title":"Constrained Multiagent Markov Decision Processes: A Taxonomy of Problems and Algorithms","volume":"70","author":"Nijs Frits De","year":"2021","unstructured":"Frits De Nijs, Erwin Walraven, Mathijs De Weerdt, and Matthijs Spaan. 2021. Constrained Multiagent Markov Decision Processes: A Taxonomy of Problems and Algorithms. Journal of Artificial Intelligence Research 70 (2021), 955\u20131001.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"e_1_3_1_19_2","doi-asserted-by":"crossref","first-page":"4363","DOI":"10.1109\/ICRA46639.2022.9812045","volume-title":"Proceedings of the International Conference on Robotics and Automation (ICRA \u201922)","author":"Fang Amy","year":"2022","unstructured":"Amy Fang and Hadas Kress-Gazit. 2022. Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots. In Proceedings of the International Conference on Robotics and Automation (ICRA \u201922). 4363\u20134369."},{"key":"e_1_3_1_20_2","first-page":"3559","volume-title":"Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","author":"Faruq Fatma","year":"2018","unstructured":"Fatma Faruq, Bruno Lacerda, Nick Hawes, and David Parker. 2018. Simultaneous Task Allocation and Planning Under Uncertainty. In Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, 3559\u20133564."},{"key":"e_1_3_1_21_2","first-page":"29","volume-title":"Proceedings of the International Symposium on Combinatorial Search (SoCS \u201917)","author":"Felner Ariel","year":"2017","unstructured":"Ariel Felner, Roni Stern Solomon, Eyal Shimony, Israel Eli Boyarski, Israel Meir Goldenberg, Guni Sharon, Nathan Sturtevant, Glenn Wagner, and Pavel Surynek. 2017. Search-Based Optimal Solvers for the Multi-Agent Pathfinding Problem: Summary and Challenges. In Proceedings of the International Symposium on Combinatorial Search (SoCS \u201917). 29\u201337."},{"key":"e_1_3_1_22_2","first-page":"11560","volume-title":"Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI)","author":"Gautier Anna","year":"2023","unstructured":"Anna Gautier, Bruno Lacerda, Nick Hawes, and Michael Wooldridge. 2023a. Multi-Unit Auctions for Allocating Chance-Constrained Resources. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI). 11560\u201311568."},{"key":"e_1_3_1_23_2","first-page":"113","volume-title":"Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"Gautier Anna","year":"2023","unstructured":"Anna Gautier, Bruno Lacerda, Nick Hawes, and Michael Wooldridge. 2023b. Risk-Constrained Planning for Multi-Agent Systems with Shared Resources. In Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS). 113\u2013121."},{"issue":"5","key":"e_1_3_1_24_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3126513","article-title":"Antlab: A Multi-Robot Task Server","volume":"16","author":"Gavran Ivan","year":"2017","unstructured":"Ivan Gavran, Rupak Majumdar, and Indranil Saha. 2017. Antlab: A Multi-Robot Task Server. ACM Transactions on Embedded Computing Systems 16, 5s (2017), 1\u201319.","journal-title":"ACM Transactions on Embedded Computing Systems"},{"issue":"9","key":"e_1_3_1_25_2","doi-asserted-by":"crossref","first-page":"939","DOI":"10.1177\/0278364904045564","article-title":"A Formal Analysis and Taxonomy of Task Allocation in Multi-Robot Systems","volume":"23","author":"Gerkey Brian P","year":"2004","unstructured":"Brian P Gerkey and Maja J Matari\u0107. 2004. A Formal Analysis and Taxonomy of Task Allocation in Multi-Robot Systems. The International Journal of Robotics Research 23, 9 (2004), 939\u2013954.","journal-title":"The International Journal of Robotics Research"},{"issue":"12","key":"e_1_3_1_26_2","doi-asserted-by":"crossref","first-page":"4051","DOI":"10.1109\/TAC.2018.2799561","article-title":"Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints","volume":"63","author":"Guo Meng","year":"2018","unstructured":"Meng Guo and Michael M. Zavlanos. 2018. Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints. IEEE Trans. Automat. Control 63, 12 (2018), 4051\u20134066.","journal-title":"IEEE Trans. Automat. Control"},{"key":"e_1_3_1_27_2","first-page":"1052","volume-title":"Proceedings of the 13th Asian Control Conference (ASCC \u201922)","author":"Huang Feifei","year":"2022","unstructured":"Feifei Huang, Xiang Yin, and Shaoyuan Li. 2022. Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications. In Proceedings of the 13th Asian Control Conference (ASCC \u201922). 1052\u20131059."},{"key":"e_1_3_1_28_2","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1613\/jair.1.12440","article-title":"Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning","volume":"73","author":"Icarte Rodrigo Toro","year":"2022","unstructured":"Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano, and Sheila A. McIlraith. 2022. Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning. Journal of Artificial Intelligence Research 73 (2022), 173\u2013208.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"e_1_3_1_29_2","first-page":"7520","volume-title":"Proceedings of the 62nd IEEE Conference on Decision and Control (CDC\u201923)","author":"Kalluraya Samarth","year":"2023","unstructured":"Samarth Kalluraya, George J. Pappas, and Yiannis Kantaros. 2023. Resilient Temporal Logic Planning in the Presence of Robot Failures. In Proceedings of the 62nd IEEE Conference on Decision and Control (CDC\u201923). 7520\u2013752"},{"issue":"1","key":"e_1_3_1_30_2","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/s10626-019-00300-1","article-title":"Path Planning for Robotic Teams Based on LTL Specifications and Petri Net Models","volume":"30","author":"Kloetzer Marius","year":"2020","unstructured":"Marius Kloetzer and Cristian Mahulea. 2020. Path Planning for Robotic Teams Based on LTL Specifications and Petri Net Models. Discrete Event Dynamic Systems 30, 1 (2020), 55\u201379.","journal-title":"Discrete Event Dynamic Systems"},{"key":"e_1_3_1_31_2","first-page":"1625","volume-title":"Proceedings of the 21st AAAI Conference on Artificial Intelligence (AAAI)","author":"Koenig Sven","year":"2006","unstructured":"Sven Koenig, Craig Tovey, Michail Lagoudakis, Vangelis Markakis, and David Kempe. 2006. The Power of Sequential Single-Item Auctions for Agent Coordination. In Proceedings of the 21st AAAI Conference on Artificial Intelligence (AAAI). 1625\u20131629."},{"issue":"12","key":"e_1_3_1_32_2","doi-asserted-by":"crossref","first-page":"1495","DOI":"10.1177\/0278364913496484","article-title":"A Comprehensive Taxonomy for Multi-Robot Task Allocation","volume":"32","author":"Korsah G. Ayorkor","year":"2013","unstructured":"G. Ayorkor Korsah, Anthony Stentz, and M. Bernardine Dias. 2013. A Comprehensive Taxonomy for Multi-Robot Task Allocation. The International Journal of Robotics Research 32, 12 (2013), 1495\u20131512.","journal-title":"The International Journal of Robotics Research"},{"issue":"3","key":"e_1_3_1_33_2","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1011254632723","article-title":"Model Checking of Safety Properties","volume":"19","author":"Kupferman Orna","year":"2001","unstructured":"Orna Kupferman and Moshe Y. Vardi. 2001. Model Checking of Safety Properties. Formal Methods in System Design 19, 3 (2001), 291\u2013314.","journal-title":"Formal Methods in System Design"},{"key":"e_1_3_1_34_2","first-page":"585","volume-title":"Proceedings of the 23rd International Conference on Computer Aided Verification (CAV)","author":"Kwiatkowska Marta","year":"2011","unstructured":"Marta Kwiatkowska, Gethin Norman, and David Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-Time Systems. In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV). 585\u2013591."},{"issue":"9","key":"e_1_3_1_35_2","doi-asserted-by":"crossref","first-page":"1098","DOI":"10.1177\/0278364919856695","article-title":"Probabilistic planning with formal performance guarantees for mobile service robots","volume":"38","author":"Lacerda Bruno","year":"2019","unstructured":"Bruno Lacerda, Fatma Faruq, David Parker, and Nick Hawes. 2019. Probabilistic planning with formal performance guarantees for mobile service robots. The International Journal of Robotics Research 38, 9 (2019), 1098\u20131123.","journal-title":"The International Journal of Robotics Research"},{"key":"e_1_3_1_36_2","doi-asserted-by":"crossref","first-page":"103289","DOI":"10.1016\/j.robot.2019.103289","article-title":"Petri Net Based Multi-Robot Task Coordination from Temporal Logic Specifications","volume":"122","author":"Lacerda Bruno","year":"2019","unstructured":"Bruno Lacerda and Pedro U. Lima. 2019. Petri Net Based Multi-Robot Task Coordination from Temporal Logic Specifications. Robotics and Autonomous Systems 122 (2019), 103289.","journal-title":"Robotics and Autonomous Systems"},{"key":"e_1_3_1_37_2","first-page":"54","volume-title":"AAAI Fall Symposium on Sequential Decision Making for Intelligent Agents","author":"Lacerda Bruno","year":"2015","unstructured":"Bruno Lacerda, David Parker, and Nick Hawes. 2015a. Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications. In AAAI Fall Symposium on Sequential Decision Making for Intelligent Agents. 54\u201355."},{"key":"e_1_3_1_38_2","first-page":"1587","volume-title":"Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)","author":"Lacerda Bruno","year":"2015","unstructured":"Bruno Lacerda, David Parker, and Nick Hawes. 2015b. Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). 1587\u20131593."},{"key":"e_1_3_1_39_2","first-page":"7411","volume-title":"Proceedings of the 55th IEEE Conference on Decision and Control (CDC)","author":"Lahijanian M.","year":"2016","unstructured":"M. Lahijanian and M. Kwiatkowska. 2016. Specification Revision for Markov Decision Processes with Optimal Trade-off. In Proceedings of the 55th IEEE Conference on Decision and Control (CDC). 7411\u20137418."},{"issue":"3","key":"e_1_3_1_40_2","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1109\/TRO.2016.2544339","article-title":"Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees","volume":"32","author":"Lahijanian Morteza","year":"2016","unstructured":"Morteza Lahijanian, Matthew R. Maly, Dror Fried, Lydia E. Kavraki, Hadas Kress-Gazit, and Moshe Y. Vardi. 2016. Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. IEEE Transactions on Robotics 32, 3 (2016), 583\u2013599.","journal-title":"IEEE Transactions on Robotics"},{"key":"e_1_3_1_41_2","volume-title":"Rapidly-Exploring Random Trees: A New Tool for Path Planning","author":"Lavalle Steven M.","year":"1998","unstructured":"Steven M. Lavalle. 1998. Rapidly-Exploring Random Trees: A New Tool for Path Planning. Technical Report. Iowa State University."},{"issue":"2","key":"e_1_3_1_42_2","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1109\/LRA.2020.2964159","article-title":"Online Trajectory Generation with Distributed Model Predictive Control for Multi-Robot Motion Planning","volume":"5","author":"Luis Carlos E.","year":"2020","unstructured":"Carlos E. Luis, Marijan Vukosavljev, and Angela P. Schoellig. 2020. Online Trajectory Generation with Distributed Model Predictive Control for Multi-Robot Motion Planning. IEEE Robotics and Automation Letters 5, 2 (2020), 604\u2013611.","journal-title":"IEEE Robotics and Automation Letters"},{"issue":"5","key":"e_1_3_1_43_2","doi-asserted-by":"crossref","first-page":"1487","DOI":"10.1109\/TRO.2021.3061983","article-title":"An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis","volume":"37","author":"Luo Xusheng","year":"2021","unstructured":"Xusheng Luo, Yiannis Kantaros, and Michael M. Zavlanos. 2021. An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis. IEEE Transactions on Robotics 37, 5 (2021), 1487\u20131507.","journal-title":"IEEE Transactions on Robotics"},{"key":"e_1_3_1_44_2","first-page":"1144","volume-title":"Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"Ma Hang","year":"2016","unstructured":"Hang Ma and Sven Koenig. 2016. Optimal Target Assignment and Path Finding for Teams of Agents. In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). 1144\u20131152."},{"key":"e_1_3_1_45_2","first-page":"3605","volume-title":"Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI)","author":"Ma Hang","year":"2017","unstructured":"Hang Ma, T. K. Satish Kumar, and Sven Koenig. 2017. Multi-Agent Path Finding with Delay Probabilities. In Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI). 3605\u20133612."},{"key":"e_1_3_1_46_2","first-page":"478","volume-title":"Proceedings of 28th International Joint Conference on Artificial Intelligence (IJCAI)","author":"Mansouri Masoumeh","year":"2019","unstructured":"Masoumeh Mansouri, Bruno Lacerda, Nick Hawes, and Federico Pecora. 2019. Multi-Robot Planning Under Uncertain Travel Times and Safety Constraints. In Proceedings of 28th International Joint Conference on Artificial Intelligence (IJCAI). 478\u2013484."},{"key":"e_1_3_1_47_2","first-page":"150","volume-title":"Proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS)","author":"Montana Felipe J.","year":"2017","unstructured":"Felipe J. Montana, Jun Liu, and Tony J. Dodd. 2017. Sampling-Based Path Planning for Multi-Robot Systems with Co-Safe Linear Temporal Logic Specifications. In Proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS). Springer International Publishing, 150\u2013164."},{"issue":"2","key":"e_1_3_1_48_2","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/70.681242","article-title":"ALLIANCE: An Architecture for Fault Tolerant Multirobot Cooperation","volume":"14","author":"Parker Lynne E.","year":"1998","unstructured":"Lynne E. Parker. 1998. ALLIANCE: An Architecture for Fault Tolerant Multirobot Cooperation. IEEE Transactions on Robotics and Automation 14, 2 (1998), 220\u2013240.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"e_1_3_1_49_2","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","article-title":"The Temporal Semantics of Concurrent Programs","volume":"13","author":"Pnueli Amir","year":"1981","unstructured":"Amir Pnueli. 1981. The Temporal Semantics of Concurrent Programs. Theoretical Computer Science 13 (1981), 45\u201360.","journal-title":"Theoretical Computer Science"},{"key":"e_1_3_1_50_2","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"Puterman Martin L.","year":"1994","unstructured":"Martin L. Puterman. 1994. Markov Decision Processes: Discrete Stochastic Dynamic Programming (1st ed.). John Wiley & Sons, Inc., New York, NY."},{"issue":"4","key":"e_1_3_1_51_2","doi-asserted-by":"crossref","first-page":"1189","DOI":"10.1109\/TRO.2019.2957669","article-title":"Multirobot Coordination with Counting Temporal Logics","volume":"36","author":"Sahin Yunus Emre","year":"2019","unstructured":"Yunus Emre Sahin, Petter Nilsson, and Necmiye Ozay. 2019. Multirobot Coordination with Counting Temporal Logics. IEEE Transactions on Robotics 36, 4 (2019), 1189\u20131206.","journal-title":"IEEE Transactions on Robotics"},{"key":"e_1_3_1_52_2","first-page":"3174","volume-title":"Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI)","author":"Scharpff Joris","year":"2016","unstructured":"Joris Scharpff, Diederik M. Roijers, Frans A. Oliehoek, Matthijs T. J. Spaan, and Mathijs M. De Weerdt. 2016. Solving Transition-Independent Multi-Agent MDPs with Sparse Interactions. In Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI). 3174\u20133180."},{"key":"e_1_3_1_53_2","first-page":"253","volume-title":"Proceedings of the 2016 International Symposium on Distributed Autonomous Robotic Systems (DARS)","author":"Schillinger Philipp","year":"2016","unstructured":"Philipp Schillinger, Mathias B\u00fcrger, and Dimos V Dimarogonas. 2016. Decomposition of Finite LTL Specifications for Efficient Multi-Agent Planning. In Proceedings of the 2016 International Symposium on Distributed Autonomous Robotic Systems (DARS). 253\u2013267."},{"key":"e_1_3_1_54_2","volume-title":"Proceedings of Robotics: Science and Systems XIV (RSS)","author":"Schillinger Philipp","year":"2018","unstructured":"Philipp Schillinger, Mathias B\u00fcrger, and Dimos V. Dimarogonas. 2018a. Improving Multi-Robot Behavior Using Learning-Based Receding Horizon Task Allocation. In Proceedings of Robotics: Science and Systems XIV (RSS). DOI: 10.15607\/RSS.2018.XIV.031"},{"doi-asserted-by":"publisher","key":"e_1_3_1_55_2","DOI":"10.1177\/0278364918774135"},{"issue":"2","key":"e_1_3_1_56_2","doi-asserted-by":"crossref","first-page":"3414","DOI":"10.1109\/LRA.2020.2977217","article-title":"Planning with Uncertain Specifications (PUnS)","volume":"5","author":"Shah Ankit","year":"2020","unstructured":"Ankit Shah, Shen Li, and Julie Shah. 2020. Planning with Uncertain Specifications (PUnS). IEEE Robotics and Automation Letters 5, 2 (2020), 3414\u20133421.","journal-title":"IEEE Robotics and Automation Letters"},{"key":"e_1_3_1_57_2","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1016\/j.artint.2014.11.006","article-title":"Conflict-Based Search for Optimal Multi-Agent Pathfinding","volume":"219","author":"Sharon Guni","year":"2015","unstructured":"Guni Sharon, Roni Stern, Ariel Felner, and Nathan R. Sturtevant. 2015. Conflict-Based Search for Optimal Multi-Agent Pathfinding. Artificial Intelligence 219 (2015), 40\u201366.","journal-title":"Artificial Intelligence"},{"key":"e_1_3_1_58_2","first-page":"14","article-title":"Optimal Path Planning for Surveillance with Temporal-Logic Constraints","volume":"30","author":"Smith Stephen L.","year":"2011","unstructured":"Stephen L. Smith, Jana Tumova, Calin Belta, and Daniela Rus. 2011. Optimal Path Planning for Surveillance with Temporal-Logic Constraints. The International Journal of Robotics Research 30, 14 (2011).","journal-title":"The International Journal of Robotics Research"},{"key":"e_1_3_1_59_2","doi-asserted-by":"crossref","first-page":"1446","DOI":"10.1109\/ROBOT.2010.5509614","volume-title":"Proceedings of the IEEE International Conference on Robotics and Automation (ICRA \u201910)","author":"Spaan Matthijs T. J.","year":"2010","unstructured":"Matthijs T. J. Spaan, Nelson Gon\u00e7alves, and Joao Sequeira. 2010. Multirobot Coordination by Auctioning POMDPs. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA \u201910). 1446\u20131451. DOI: 10.1109\/ROBOT.2010.5509614"},{"key":"e_1_3_1_60_2","first-page":"151","volume-title":"Proceedings of the 2019 International Symposium on Combinatorial Search (SoCS)","author":"Stern Roni","year":"2019","unstructured":"Roni Stern, Nathan Sturtevant, Ariel Felner, Sven Koenig, Hang Ma, Thayne Walker, Jiaoyang Li, Dor Atzmon, Liron Cohen, T. K. Satish Kumar, Eli Boyarski, and Roman Bartak. 2019. Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks. In Proceedings of the 2019 International Symposium on Combinatorial Search (SoCS). 151\u2013158."},{"issue":"1","key":"e_1_3_1_61_2","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1109\/TRO.2021.3071618","article-title":"Congestion-Aware Policy Synthesis for Multirobot Systems","volume":"38","author":"Street Charlie","year":"2022","unstructured":"Charlie Street, Sebastian P\u00fctz, Manuel M\u00fchlig, Nick Hawes, and Bruno Lacerda. 2022. Congestion-Aware Policy Synthesis for Multirobot Systems. IEEE Transactions on Robotics 38, 1 (2022), 262\u2013280.","journal-title":"IEEE Transactions on Robotics"},{"key":"e_1_3_1_62_2","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/j.automatica.2016.04.006","article-title":"Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization","volume":"70","author":"Tumova Jana","year":"2016","unstructured":"Jana Tumova and Dimos V. Dimarogonas. 2016. Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization. Automatica 70 (Oct. 2016), 239\u2013248.","journal-title":"Automatica"},{"key":"e_1_3_1_63_2","first-page":"430","volume-title":"Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS \u201905)","author":"Berg Jur P. Van Den","year":"2005","unstructured":"Jur P. Van Den Berg and Mark H. Overmars. 2005. Prioritized Motion Planning for Multiple Robots. In Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS \u201905). IEEE, 430\u2013435."},{"key":"e_1_3_1_64_2","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1145\/3019612.3019708","volume-title":"Proceedings of the 32nd ACM Symposium on Applied Computing (SAC)","author":"Viseras Alberto","year":"2017","unstructured":"Alberto Viseras, Valentina Karolj, and Luis Merino. 2017. An Asynchronous Distributed Constraint Optimization Approach to Multi-Robot Path Planning with Complex Constraints. In Proceedings of the 32nd ACM Symposium on Applied Computing (SAC). 268\u2013275."},{"key":"e_1_3_1_65_2","first-page":"577","volume-title":"Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS)","author":"Wagner Glenn","year":"2017","unstructured":"Glenn Wagner and Howie Choset. 2017. Path Planning for Multiple Agents Under Uncertainty. In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS). 577\u2013585."},{"key":"e_1_3_1_66_2","first-page":"9809","volume-title":"Proceedings of the 2020 IEEE International Conference on Robotics and Automation (ICRA)","author":"Wu Wenying","year":"2020","unstructured":"Wenying Wu, Subhrajit Bhattacharya, and Amanda Prorok. 2020. Multi-Robot Path Deconfliction through Prioritization by Path Prospects. In Proceedings of the 2020 IEEE International Conference on Robotics and Automation (ICRA). IEEE, 9809\u20139815."},{"key":"e_1_3_1_67_2","volume-title":"Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"Zhang Shiqi","year":"2017","unstructured":"Shiqi Zhang, Yuqian Jiang, Guni Sharon, and Peter Stone. 2017. Multirobot Symbolic Planning Under Temporal Uncertainty. In Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)."}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3665499","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3665499","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:57:13Z","timestamp":1750291033000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3665499"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,16]]},"references-count":66,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,12,31]]}},"alternative-id":["10.1145\/3665499"],"URL":"https:\/\/doi.org\/10.1145\/3665499","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"type":"print","value":"1556-4665"},{"type":"electronic","value":"1556-4703"}],"subject":[],"published":{"date-parts":[[2024,11,16]]},"assertion":[{"value":"2023-04-28","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-05-03","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}