{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T22:40:06Z","timestamp":1783636806273,"version":"3.55.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T00:00:00Z","timestamp":1764288000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T00:00:00Z","timestamp":1764288000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"ARL DCIST CRA","award":["W911NF-17- 2-0181"],"award-info":[{"award-number":["W911NF-17- 2-0181"]}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"crossref","award":["Award No. N00014-22-1-2157"],"award-info":[{"award-number":["Award No. N00014-22-1-2157"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Robot"],"published-print":{"date-parts":[[2026,3]]},"DOI":"10.1007\/s10514-025-10231-6","type":"journal-article","created":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T10:38:39Z","timestamp":1764326319000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Probabilistic multi-robot planning with temporal tasks and communication constraints"],"prefix":"10.1007","volume":"50","author":[{"given":"Thales C.","family":"Silva","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xi","family":"Yu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M. Ani","family":"Hsieh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,11,28]]},"reference":[{"key":"10231_CR1","doi-asserted-by":"crossref","unstructured":"Brust, M.R., & Strimbu, B.M. (2015). A networked swarm model for uav deployment in the assessment of forest environments. In: 2015 IEEE Tenth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), pp. 1\u20136. IEEE","DOI":"10.1109\/ISSNIP.2015.7106967"},{"issue":"1","key":"10231_CR2","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1109\/JSEN.2020.3013265","volume":"21","author":"J Connor","year":"2020","unstructured":"Connor, J., Champion, B., & Joordens, M. A. (2020). Current algorithms, communication methods and designs for underwater swarm robotics: A review. IEEE Sensors Journal, 21(1), 153\u2013169.","journal-title":"IEEE Sensors Journal"},{"key":"10231_CR3","doi-asserted-by":"publisher","first-page":"191617","DOI":"10.1109\/ACCESS.2020.3030190","volume":"8","author":"JP Queralta","year":"2020","unstructured":"Queralta, J. P., Taipalmaa, J., Pullinen, B. C., Sarker, V. K., Gia, T. N., Tenhunen, H., Gabbouj, M., Raitoharju, J., & Westerlund, T. (2020). Collaborative multi-robot search and rescue: Planning, coordination, perception, and active vision. Ieee Access, 8, 191617\u2013191643.","journal-title":"Ieee Access"},{"issue":"5","key":"10231_CR4","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S0263574708004323","volume":"26","author":"MA Hsieh","year":"2008","unstructured":"Hsieh, M. A., Kumar, V., & Chaimowicz, L. (2008). Decentralized controllers for shape generation with robotic swarms. Robotica, 26(5), 691\u2013701.","journal-title":"Robotica"},{"issue":"3","key":"10231_CR5","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/s10514-019-09861-4","volume":"44","author":"S Moarref","year":"2020","unstructured":"Moarref, S., & Kress-Gazit, H. (2020). Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications. Autonomous Robots, 44(3), 585\u2013600.","journal-title":"Autonomous Robots"},{"key":"10231_CR6","doi-asserted-by":"crossref","unstructured":"Luo, W., & Sycara, K. (2019). Minimum k-connectivity maintenance for robust multi-robot systems. In: 2019 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 7370\u20137377. IEEE","DOI":"10.1109\/IROS40897.2019.8968058"},{"issue":"2","key":"10231_CR7","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1109\/LRA.2019.2892552","volume":"4","author":"K Khateri","year":"2019","unstructured":"Khateri, K., Pourgholi, M., Montazeri, M., & Sabattini, L. (2019). A comparison between decentralized local and global methods for connectivity maintenance of multi-robot networks. IEEE Robotics and Automation Letters, 4(2), 633\u2013640.","journal-title":"IEEE Robotics and Automation Letters"},{"key":"10231_CR8","doi-asserted-by":"publisher","unstructured":"Liu, Z., Dai, J., Wu, B., & Lin, H. (2017). Communication-aware motion planning for multi-agent systems from signal temporal logic specifications. In: 2017 American Control Conference (ACC), pp. 2516\u20132521 https:\/\/doi.org\/10.23919\/ACC.2017.7963331","DOI":"10.23919\/ACC.2017.7963331"},{"issue":"12","key":"10231_CR9","doi-asserted-by":"publisher","first-page":"1411","DOI":"10.1177\/0278364913499085","volume":"32","author":"L Sabattini","year":"2013","unstructured":"Sabattini, L., Chopra, N., & Secchi, C. (2013). Decentralized connectivity maintenance for cooperative control of mobile robotic systems. The International Journal of Robotics Research, 32(12), 1411\u20131423. https:\/\/doi.org\/10.1177\/0278364913499085","journal-title":"The International Journal of Robotics Research"},{"issue":"1","key":"10231_CR10","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/TAC.2005.861710","volume":"51","author":"Y Kim","year":"2006","unstructured":"Kim, Y., & Mesbahi, M. (2006). On maximizing the second smallest eigenvalue of a state-dependent graph laplacian. IEEE Transactions on Automatic Control, 51(1), 116\u2013120. https:\/\/doi.org\/10.1109\/TAC.2005.861710","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"4","key":"10231_CR11","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/TRO.2007.900642","volume":"23","author":"MM Zavlanos","year":"2007","unstructured":"Zavlanos, M. M., & Pappas, G. J. (2007). Potential fields for maintaining connectivity of mobile networks. IEEE Transactions on Robotics, 23(4), 812\u2013816. https:\/\/doi.org\/10.1109\/TRO.2007.900642","journal-title":"IEEE Transactions on Robotics"},{"key":"10231_CR12","doi-asserted-by":"crossref","unstructured":"Siligardi, L., Panerati, J., Kaufmann, M., Minelli, M., Ghedini, C., Beltrame, G., & Sabattini, L. (2019). Robust area coverage with connectivity maintenance. In: 2019 International Conference on Robotics and Automation (ICRA), pp. 2202\u20132208. IEEE","DOI":"10.1109\/ICRA.2019.8793555"},{"issue":"4","key":"10231_CR13","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1109\/TRO.2012.2190178","volume":"28","author":"GA Hollinger","year":"2012","unstructured":"Hollinger, G. A., & Singh, S. (2012). Multirobot coordination with periodic connectivity: Theory and experiments. IEEE Transactions on Robotics, 28(4), 967\u2013973.","journal-title":"IEEE Transactions on Robotics"},{"key":"10231_CR14","doi-asserted-by":"publisher","first-page":"76","DOI":"10.3389\/frobt.2019.00076","volume":"6","author":"X Yu","year":"2019","unstructured":"Yu, X., Hsieh, M. A., Wei, C., & Tanner, H. G. (2019). Synchronous rendezvous for networks of marine robots in large scale ocean monitoring. Frontiers in Robotics and AI, 6, 76.","journal-title":"Frontiers in Robotics and AI"},{"key":"10231_CR15","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s43154-021-00046-5","volume":"2","author":"L Zhou","year":"2021","unstructured":"Zhou, L., & Tokekar, P. (2021). Multi-robot coordination and planning in uncertain and adversarial environments. Current Robotics Reports, 2, 147\u2013157.","journal-title":"Current Robotics Reports"},{"issue":"2","key":"10231_CR16","doi-asserted-by":"publisher","first-page":"4829","DOI":"10.1109\/LRA.2022.3152701","volume":"7","author":"H Wang","year":"2022","unstructured":"Wang, H., & Chen, W. (2022). Multi-robot path planning with due times. IEEE Robotics and Automation Letters, 7(2), 4829\u20134836.","journal-title":"IEEE Robotics and Automation Letters"},{"issue":"1","key":"10231_CR17","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s10514-021-10022-9","volume":"46","author":"S Choudhury","year":"2022","unstructured":"Choudhury, S., Gupta, J. K., Kochenderfer, M. J., Sadigh, D., & Bohg, J. (2022). Dynamic multi-robot task allocation under uncertainty and temporal constraints. Autonomous Robots, 46(1), 231\u2013247.","journal-title":"Autonomous Robots"},{"issue":"2","key":"10231_CR18","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","volume":"45","author":"GE Fainekos","year":"2009","unstructured":"Fainekos, G. E., Girard, A., Kress-Gazit, H., & Pappas, G. J. (2009). Temporal logic motion planning for dynamic robots. Automatica, 45(2), 343\u2013352. https:\/\/doi.org\/10.1016\/j.automatica.2008.08.008","journal-title":"Automatica"},{"issue":"1","key":"10231_CR19","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, G. J. (2007). Symbolic planning and control of robot motion [grand challenges of robotics]. IEEE Robotics & Automation Magazine, 14(1), 61\u201370. https:\/\/doi.org\/10.1109\/MRA.2007.339624","journal-title":"IEEE Robotics & Automation Magazine"},{"key":"10231_CR20","doi-asserted-by":"crossref","unstructured":"Wang, J., Guo, M., & Li, Z. (2023). Multi-agent coordination under temporal logic tasks and team-wise intermittent communication. In: 2023 62nd IEEE Conference on Decision and Control (CDC), pp. 3174\u20133179. IEEE","DOI":"10.1109\/CDC49753.2023.10383532"},{"issue":"7","key":"10231_CR21","doi-asserted-by":"publisher","first-page":"3109","DOI":"10.1109\/TAC.2016.2626400","volume":"62","author":"Y Kantaros","year":"2017","unstructured":"Kantaros, Y., & Zavlanos, M. M. (2017). Distributed intermittent connectivity control of mobile robot networks. IEEE Transactions on Automatic Control, 62(7), 3109\u20133121. https:\/\/doi.org\/10.1109\/TAC.2016.2626400","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10231_CR22","doi-asserted-by":"crossref","unstructured":"Kantaros, Y., Guo, M., & Zavlanos, M.M. (2019). Temporal logic task planning and intermittent connectivity control of mobile robot networks. IEEE Transactions on Automatic Control.","DOI":"10.1109\/TAC.2019.2893161"},{"key":"10231_CR23","doi-asserted-by":"publisher","unstructured":"Rovina, H., Salam, T., Kantaros, Y., & Ani\u00a0Hsieh, M. (2020). Asynchronous adaptive sampling and reduced-order modeling of dynamic processes by robot teams via intermittently connected networks. In: 2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 4798\u20134805, https:\/\/doi.org\/10.1109\/IROS45743.2020.9341636","DOI":"10.1109\/IROS45743.2020.9341636"},{"key":"10231_CR24","doi-asserted-by":"publisher","first-page":"1238","DOI":"10.1109\/LCSYS.2021.3090980","volume":"6","author":"M Charitidou","year":"2022","unstructured":"Charitidou, M., & Dimarogonas, D. V. (2022). Signal temporal logic task decomposition via convex optimization. IEEE Control Systems Letters, 6, 1238\u20131243. https:\/\/doi.org\/10.1109\/LCSYS.2021.3090980","journal-title":"IEEE Control Systems Letters"},{"issue":"2","key":"10231_CR25","doi-asserted-by":"publisher","first-page":"2297","DOI":"10.1109\/LRA.2022.3143304","volume":"7","author":"K Leahy","year":"2022","unstructured":"Leahy, K., Jones, A., & Vasile, C.-I. (2022). Fast decomposition of temporal logic specifications for heterogeneous teams. IEEE Robotics and Automation Letters, 7(2), 2297\u20132304. https:\/\/doi.org\/10.1109\/LRA.2022.3143304","journal-title":"IEEE Robotics and Automation Letters"},{"key":"10231_CR26","doi-asserted-by":"crossref","unstructured":"Marchesini, G., Liu, S., Lindemann, L., & Dimarogonas, D.V. (2024). Communication-constrained stl task decomposition through convex optimization. arXiv preprint arXiv:2402.17585.","DOI":"10.23919\/ACC60939.2024.10644859"},{"key":"10231_CR27","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01303434","volume":"43","author":"E Altman","year":"1996","unstructured":"Altman, E. (1996). Constrained markov decision processes with total cost criteria: Occupation measures and primal lp. Mathematical methods of operations research, 43, 45\u201372.","journal-title":"Mathematical methods of operations research"},{"issue":"12","key":"10231_CR28","doi-asserted-by":"publisher","first-page":"4051","DOI":"10.1109\/TAC.2018.2799561","volume":"63","author":"M Guo","year":"2018","unstructured":"Guo, M., & Zavlanos, M. M. (2018). Probabilistic motion planning under temporal tasks and soft constraints. IEEE Transactions on Automatic Control, 63(12), 4051\u20134066. https:\/\/doi.org\/10.1109\/TAC.2018.2799561","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10231_CR29","unstructured":"Baier, C. (2008). Principles of Model Checking. MIT press."},{"key":"10231_CR30","doi-asserted-by":"crossref","unstructured":"Babiak, T., Blahoudek, F., & Strej\u010dek, J. (2013). Effective translation of ltl to deterministic rabin automata: Beyond the (f, g)-fragment. In D. Van Hung & M. Ogawa (Eds.), Automated Technology for Verification and Analysis (pp. 24\u201339). Cham: Springer.","DOI":"10.1007\/978-3-319-02444-8_4"},{"key":"10231_CR31","unstructured":"Klein, J. (2007). ltl2dstar-ltl to deterministic streett and rabin automata-online."},{"key":"10231_CR32","doi-asserted-by":"publisher","unstructured":"Br\u2019zdil, T., Brozek, V., Chatterjee, K., Forejt, V., & Kucera, A. (2011). Two views on multiple mean-payoff objectives in markov decision processes. In: 2011 IEEE 26th Annual Symposium on Logic in Computer Science, pp. 33\u201342. https:\/\/doi.org\/10.1109\/LICS.2011.10","DOI":"10.1109\/LICS.2011.10"},{"key":"10231_CR33","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity markov decision processes. In: International Symposium on Mathematical Foundations of Computer Science, pp. 206\u2013218. Springer","DOI":"10.1007\/978-3-642-22993-0_21"},{"issue":"1","key":"10231_CR34","doi-asserted-by":"publisher","first-page":"3515","DOI":"10.3182\/20110828-6-IT-1002.02287","volume":"44","author":"XCD Ding","year":"2011","unstructured":"Ding, X. C. D., Smith, S. L., Belta, C., & Rus, D. (2011). Ltl control in uncertain environments with probabilistic satisfaction guarantees. IFAC Proceedings Volumes, 44(1), 3515\u20133520.","journal-title":"IFAC Proceedings Volumes"},{"key":"10231_CR35","doi-asserted-by":"crossref","unstructured":"Kantaros, Y., & Zavlanos, M.M. (2018). Distributed intermittent communication control of mobile robot networks under time-critical dynamic tasks. In: Proceedings of the IEEE Intl. Conf. on Robotics and Automation, pp. 1\u20139.","DOI":"10.1109\/ICRA.2018.8460570"},{"issue":"4","key":"10231_CR36","doi-asserted-by":"publisher","first-page":"1082","DOI":"10.1109\/TRO.2018.2830370","volume":"34","author":"M Guo","year":"2018","unstructured":"Guo, M., & Zavlanos, M. M. (2018). Multirobot data gathering under buffer constraints and intermittent communication. IEEE Transactions on Robotics, 34(4), 1082\u20131097.","journal-title":"IEEE Transactions on Robotics"},{"key":"10231_CR37","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-19835-9_11","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"V Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D., & Qu, H. (2011). Quantitative multi-objective verification for probabilistic systems. In P. A. Abdulla & K. R. M. Leino (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 112\u2013127). Berlin, Heidelberg: Springer."},{"key":"10231_CR38","doi-asserted-by":"crossref","unstructured":"Etessami, K., Kwiatkowska, M., Vardi, M. Y., & Yannakakis, M. (2007). Multi-objective model checking of markov decision processes. In O. Grumberg & M. Huth (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 50\u201365). Berlin, Heidelberg: Springer.","DOI":"10.1007\/978-3-540-71209-1_6"},{"key":"10231_CR39","first-page":"65","volume-title":"Pulp: a linear programming toolkit for python","author":"S Mitchell","year":"2011","unstructured":"Mitchell, S. (2011). Pulp: a linear programming toolkit for python (p. 65). Auckland, New Zealand: The University of Auckland."},{"key":"10231_CR40","doi-asserted-by":"publisher","unstructured":"Edwards, V., Silva, T.C., Mehta, B., Dhanoa, J., & Hsieh, M.A. (2023). On collaborative robot teams for environmental monitoring: A macroscopic ensemble approach. In: 2023 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 11148\u201311153, https:\/\/doi.org\/10.1109\/IROS55552.2023.10342495","DOI":"10.1109\/IROS55552.2023.10342495"},{"key":"10231_CR41","doi-asserted-by":"crossref","unstructured":"Edwards, V., Silva, T.C., & Hsieh, M.A. (2022). Stochastic nonlinear ensemble modeling and control for robot team environmental monitoring. In: International Symposium on Distributed Autonomous Robotic Systems, pp. 83\u201399. Springer","DOI":"10.1007\/978-3-031-51497-5_7"}],"container-title":["Autonomous Robots"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10514-025-10231-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10514-025-10231-6","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10514-025-10231-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T15:02:12Z","timestamp":1774450932000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10514-025-10231-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,28]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,3]]}},"alternative-id":["10231"],"URL":"https:\/\/doi.org\/10.1007\/s10514-025-10231-6","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-6649588\/v1","asserted-by":"object"}]},"ISSN":["0929-5593","1573-7527"],"issn-type":[{"value":"0929-5593","type":"print"},{"value":"1573-7527","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,28]]},"assertion":[{"value":"12 May 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 September 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 November 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 November 2025","order":4,"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 no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"2"}}