{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T14:49:28Z","timestamp":1784645368295,"version":"3.55.0"},"reference-count":74,"publisher":"SAGE Publications","issue":"13","license":[{"start":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T00:00:00Z","timestamp":1714262400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"funder":[{"DOI":"10.13039\/100007187","name":"Lincoln Laboratory, Massachusetts Institute of Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007187","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["The International Journal of Robotics Research"],"published-print":{"date-parts":[[2024,11]]},"abstract":"<jats:p>This paper presents a comprehensive approach for planning for teams of heterogeneous robots with different capabilities and the transportation of resources. We use Capability Temporal Logic (CaTL), a formal language that helps express tasks involving robots with multiple capabilities with spatial, temporal, and logical constraints. We extend CaTL to also capture resource constraints, where resources can be divisible and indivisible, for instance, sand and bricks, respectively. Robots transport resources using various storage types, such as uniform (shared storage among resources) and compartmental (individual storage per resource). Robots\u2019 resource transportation capacity is defined based on resource type and robot class. Robot and resource dynamics and the CaTL mission are jointly encoded in a Mixed Integer Linear Programming (MILP), which maximizes disjoint robot and resource robustness while minimizing spurious movement of both. We propose a multi-robustness approach for Multi-Class Signal Temporal Logic (mcSTL), allowing for generalized quantitative semantics across multiple predicate classes. Thus, we compute availability robustness scores for robots and resources separately. Finally, we conduct multiple experiments demonstrating functionality and time performance by varying resources and storage types.<\/jats:p>","DOI":"10.1177\/02783649241247285","type":"journal-article","created":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T00:12:15Z","timestamp":1714349535000},"page":"2089-2111","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":7,"title":["Planning for heterogeneous teams of robots with temporal logic, capability, and resource constraints"],"prefix":"10.1177","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4257-9415","authenticated-orcid":false,"given":"Gustavo A.","family":"Cardona","sequence":"first","affiliation":[{"name":"Department of Mechanical Engineering and Mechanics, Lehigh University, Bethlehem, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1132-1462","authenticated-orcid":false,"given":"Cristian-Ioan","family":"Vasile","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering and Mechanics, Lehigh University, Bethlehem, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"179","published-online":{"date-parts":[[2024,4,28]]},"reference":[{"key":"bibr1-02783649241247285","doi-asserted-by":"crossref","unstructured":"Badithela A, Graebener JB, Ubellacker W, et al. (2023) Synthesizing reactive test environments for autonomous systems: testing reach-avoid specifications with multi-commodity flows. In: 2023 IEEE International Conference on Robotics and Automation (ICRA), London, UK, 29 May 2023\u201302 June 2023, 12430\u201312436.","DOI":"10.1109\/ICRA48891.2023.10160841"},{"key":"bibr2-02783649241247285","volume-title":"Principles of Model Checking","author":"Baier C","year":"2008"},{"key":"bibr3-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"bibr4-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2024997"},{"key":"bibr5-02783649241247285","doi-asserted-by":"crossref","unstructured":"Bhatia A, Kavraki LE, Vardi MY (2010) Sampling-based motion planning with temporal goals. In: 2010 international conference on robotics and automation, Anchorage, AK, USA, 03\u201307 May 2010, 2689\u20132696.","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"bibr6-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.876965"},{"key":"bibr7-02783649241247285","unstructured":"Bresina JL, J\u00f3nsson AK, Morris PH, et al. (2005) Activity planning for the mars exploration rovers. In: International conference on international conference on automated planning and scheduling, Monterey, CA, 5\u201310 June 2005, 40\u201349."},{"key":"bibr8-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00139-4"},{"key":"bibr9-02783649241247285","doi-asserted-by":"crossref","unstructured":"Buyukkocak AT, Aksaray D (2022) Temporal relaxation of signal temporal logic specifications for resilient control synthesis. In: 2022 IEEE 61st Conference on Decision and Control (CDC), Cancun, Mexico, 06\u201309 December 2022, 2890\u20132896.","DOI":"10.1109\/CDC51059.2022.9992914"},{"key":"bibr10-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3300240"},{"key":"bibr11-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3138766"},{"key":"bibr12-02783649241247285","doi-asserted-by":"publisher","DOI":"10.3390\/app9081702"},{"key":"bibr13-02783649241247285","first-page":"223","volume-title":"Algorithmic Foundations of Robotics XV: Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics","author":"Cardona GA","year":"2022"},{"key":"bibr14-02783649241247285","doi-asserted-by":"crossref","unstructured":"Cardona GA, Vasile CI (2023) Preferences on partial satisfaction using weighted signal temporal logic specifications. In: 2023 European Control Conference (ECC), Bucharest, Romania, 13\u201316 June 2023, 1\u20136.","DOI":"10.23919\/ECC57647.2023.10178201"},{"issue":"3","key":"bibr15-02783649241247285","first-page":"2079","volume":"11","author":"Cardona GA","year":"2021","journal-title":"International Journal of Electrical and Computer Engineering"},{"key":"bibr16-02783649241247285","doi-asserted-by":"crossref","unstructured":"Cardona GA, Salda\u00f1a D, Vasile CI (2022) Planning for modular aerial robotic tools with temporal logic constraints. In: 2022 Conference on Decision and Control (CDC), Cancun, Mexico, 06\u201309 December 2022, 2878\u20132883.","DOI":"10.1109\/CDC51059.2022.9993288"},{"key":"bibr17-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587120"},{"key":"bibr18-02783649241247285","unstructured":"Cardona GA, Leahy K, Mann M, et al (2023b) A flexible and efficient temporal logic tool for python: PyTeLo. ArXiv Preprint arXiv:2310.08714."},{"key":"bibr19-02783649241247285","doi-asserted-by":"crossref","unstructured":"Cardona GA, Leahy K, Vasile CI (2023c) Temporal logic swarm control with splitting and merging. In: 2023 IEEE International Conference on Robotics and Automation (ICRA), London, UK, 29 May 2023\u201302 June 2023, 12423\u201312429.","DOI":"10.1109\/ICRA48891.2023.10160335"},{"key":"bibr20-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2163434"},{"key":"bibr21-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008958800904"},{"key":"bibr22-02783649241247285","doi-asserted-by":"crossref","unstructured":"Diaz-Mercado Y, Jones A, Belta C, et al. (2015) Correct-by-construction control synthesis for multi-robot mixing. In: Conference on Decision and Control, Osaka, Japan, 15\u201318 December 2015, 221\u2013226.","DOI":"10.1109\/CDC.2015.7402112"},{"issue":"4","key":"bibr23-02783649241247285","first-page":"2250","volume":"4","author":"Dixit DSK","year":"2014","journal-title":"International Journal of Scientific and Research Publications"},{"key":"bibr24-02783649241247285","doi-asserted-by":"crossref","unstructured":"Dokhanchi A, Hoxha B, Fainekos G (2014) International Conference on Runtime Verification, Toronto, ON, Canada., Chapter On-Line Monitoring for Temporal Logic Robustness. Berlin: Springer, 231\u2013246.","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"bibr25-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"bibr26-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"bibr27-02783649241247285","doi-asserted-by":"crossref","unstructured":"Finucane C, Jing G, Kress-Gazit H (2010) LTLMoP: experimenting with language, temporal logic and robot control. In: 2010 IEEE\/RSJ international conference on intelligent robots and systems, Taipei, Taiwan, 18\u201322 October 2010, 1988\u20131993.","DOI":"10.1109\/IROS.2010.5650371"},{"key":"bibr28-02783649241247285","doi-asserted-by":"crossref","unstructured":"Fu JGM, Bandyopadhyay T, Ang MH (2009) Local Voronoi decomposition for multi-agent task allocation. In: 2009 IEEE international conference on robotics and automation, Kobe, Japan, 12\u201317 May 2009, 1935\u20131940.","DOI":"10.1109\/ROBOT.2009.5152829"},{"key":"bibr29-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"bibr30-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2628389"},{"key":"bibr31-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2628389"},{"key":"bibr32-02783649241247285","doi-asserted-by":"crossref","unstructured":"Guo M, Zavlanos MM (2017) Distributed data gathering with buffer constraints and intermittent communication. In: 2017 IEEE International Conference on Robotics and Automation (ICRA), Singapore, 29 May 2017\u201303 June 2017, 279\u2013284.","DOI":"10.1109\/ICRA.2017.7989036"},{"key":"bibr33-02783649241247285","unstructured":"Gurobi Optimization L (2020) Gurobi optimizer reference manual. https:\/\/www.gurobi.com"},{"key":"bibr34-02783649241247285","doi-asserted-by":"publisher","DOI":"10.25080\/TCWV9851"},{"key":"bibr35-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1145\/568438.568455"},{"key":"bibr36-02783649241247285","doi-asserted-by":"crossref","unstructured":"Hustiu S, Dimarogonas DV, Mahulea C, et al. (2023) Multi-robot motion planning under MITL specifications based on time petri nets. In: 2023 European Control Conference (ECC), Bucharest, Romania, 13\u201316 June 2023, 1\u20138.","DOI":"10.23919\/ECC57647.2023.10178302"},{"key":"bibr37-02783649241247285","first-page":"224","volume-title":"International Symposium of Robotics Research","author":"Jones A","year":"2019"},{"key":"bibr38-02783649241247285","doi-asserted-by":"crossref","unstructured":"Kamale D, Karyofylli E, Vasile CI (2021) Automata-based optimal planning with relaxed specifications. In: 2021 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), Prague, Czech Republic, 27 September 2021\u201301 October 2021, 6525\u20136530.","DOI":"10.1109\/IROS51168.2021.9635906"},{"key":"bibr39-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2893161"},{"key":"bibr40-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1715"},{"key":"bibr41-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-013-0162-6"},{"key":"bibr42-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3172857"},{"key":"bibr43-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2019.103289"},{"key":"bibr44-02783649241247285","doi-asserted-by":"crossref","unstructured":"Leahy K, Jones A, Schwager M, et al. (2015) Distributed information gathering policies under temporal logic constraints. In: 2015 IEEE Conference on Decision and Control (CDC), Osaka, Japan, 15\u201318 December 2015, 6803\u20136808.","DOI":"10.1109\/CDC.2015.7403291"},{"key":"bibr45-02783649241247285","author":"Leahy K","year":"2021","journal-title":"IEEE Transactions on Robotics"},{"key":"bibr46-02783649241247285","doi-asserted-by":"crossref","unstructured":"Liu Z, Dai J, Wu B, et al. (2017) Communication-aware motion planning for multi-agent systems from signal temporal logic specifications. In: 2017 American Control Conference (ACC), Seattle, WA, 24\u201326 May 2017, 2516\u20132521.","DOI":"10.23919\/ACC.2017.7963331"},{"key":"bibr47-02783649241247285","doi-asserted-by":"crossref","unstructured":"Liu W, Leahy K, Serlin Z, et al. (2023) Robust multi-agent coordination from CaTL+ specifications. In: 2023 American Control Conference (ACC), San Diego, CA, 31 May 2023\u201302 June 2023, 3529\u20133534.","DOI":"10.23919\/ACC55779.2023.10156237"},{"key":"bibr48-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2021.114660"},{"key":"bibr75-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1002\/9780470400531.eorms0437"},{"key":"bibr50-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"bibr51-02783649241247285","doi-asserted-by":"crossref","unstructured":"Mehdipour N, Vasile CI, Belta C (2019) Arithmetic-geometric mean robustness for control from signal temporal logic specifications. In: 2019 American Control Conference (ACC), Philadelphia, PA, 10\u201312 July 2019, 1690\u20131695.","DOI":"10.23919\/ACC.2019.8814487"},{"key":"bibr52-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3047362"},{"key":"bibr53-02783649241247285","doi-asserted-by":"crossref","unstructured":"Nikou A, Tumova J, Dimarogonas DV (2016) Cooperative task planning of multi-agent systems under timed temporal specifications. In: 2016 American Control Conference (ACC), Boston, MA, 06\u201308 July 2016, 7104\u20137109.","DOI":"10.1109\/ACC.2016.7526793"},{"key":"bibr54-02783649241247285","doi-asserted-by":"crossref","unstructured":"Notomista G, Mayya S, Hutchinson S, et al. (2019) An optimal task allocation strategy for heterogeneous multi-robot systems. In: 2019 18th European Control Conference (ECC), Naples, Italy, 25\u201328 June 2019, 2071\u20132076.","DOI":"10.23919\/ECC.2019.8795895"},{"key":"bibr55-02783649241247285","doi-asserted-by":"crossref","unstructured":"Pant YV, Abbas H, Quaye RA, et al. (2018) Fly-by-logic: control of multi-drone fleets with temporal logic objectives. In: International conference on cyber-physical systems, Porto, Portugal, 11\u201313 April 2018, 186\u2013197.","DOI":"10.1109\/ICCPS.2018.00026"},{"key":"bibr56-02783649241247285","volume-title":"The Definitive ANTLR 4 Reference","author":"Parr T","year":"2007"},{"key":"bibr57-02783649241247285","doi-asserted-by":"crossref","unstructured":"Raman V, Donz\u00e9 A, Maasoumy M, et al. (2014) Model predictive control with signal temporal logic specifications. In: 2014 Annual Conference on Decision and Control (CDC), Los Angeles, CA, 15\u201317 December 2014, 81\u201387.","DOI":"10.1109\/CDC.2014.7039363"},{"key":"bibr58-02783649241247285","doi-asserted-by":"crossref","unstructured":"Sadraddini S, Belta C (2015) Robust temporal logic model predictive control. In: Communication, control, and computing (Allerton), 2015 annual Allerton conference on, Monticello, IL, 29 September 2015\u201302 October 2015, 772\u2013779.","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"bibr59-02783649241247285","doi-asserted-by":"crossref","unstructured":"Sahin YE, Nilsson P, Ozay N (2017) Provably-correct coordination of large collections of agents with counting temporal logic constraints. In: 2017 International Conference on Cyber-Physical Systems (ICCPS), Pittsburgh, PA, 18\u201321 April 2017, 249\u2013258.","DOI":"10.1145\/3055004.3055021"},{"key":"bibr60-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2957669"},{"key":"bibr61-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918774135"},{"key":"bibr62-02783649241247285","doi-asserted-by":"crossref","unstructured":"Sewlia M, Verginis CK, Dimarogonas DV (2023) Maps2: multi-robot anytime motion planning under signal temporal logic specifications. ArXiv Preprint arXiv:2309.05632.","DOI":"10.23919\/ACC55779.2023.10156470"},{"key":"bibr63-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3146951"},{"key":"bibr64-02783649241247285","doi-asserted-by":"crossref","unstructured":"Sundram J, Van Nguyen D, Soh GS, et al. (2018) Development of a miniature robot for multi-robot occupancy grid mapping. In: 2018 3rd International Conference on Advanced Robotics and Mechatronics (ICARM), Singapore, 18\u201320 July 2018, 414\u2013419.","DOI":"10.1109\/ICARM.2018.8610745"},{"key":"bibr65-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461372"},{"key":"bibr66-02783649241247285","doi-asserted-by":"crossref","unstructured":"Tripicchio P, Satler M, Dabisias G, et al. (2015) Towards smart farming and sustainable agriculture with drones. In: International conference on intelligent environments, Prague, Czech Republic, 15\u201317 July 2015, 140\u2013143.","DOI":"10.1109\/IE.2015.29"},{"key":"bibr67-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.04.006"},{"key":"bibr68-02783649241247285","doi-asserted-by":"crossref","unstructured":"Ulusoy A, Smith SL, Ding XC, et al. (2011) Optimal multi-robot path planning with temporal logic constraints. In: 2011 IEEE\/RSJ international conference on intelligent robots and systems, Saint Paul, MN, 14\u201318 May 2012, 3087\u20133092.","DOI":"10.1109\/IROS.2011.6048524"},{"key":"bibr69-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"bibr70-02783649241247285","unstructured":"Vasile CI, Ulusoy A (2024) Ltl optimal multi-agent planner (lomap). https:\/\/github.com\/wasserfeder\/lomap."},{"key":"bibr71-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2017.07.012"},{"key":"bibr72-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2611536"},{"key":"bibr73-02783649241247285","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3088764"},{"key":"bibr74-02783649241247285","doi-asserted-by":"crossref","unstructured":"Yu X, Yin X, Lindemann L (2023) Efficient Stl control synthesis under asynchronous temporal robustness constraints. ArXiv Preprint arXiv:2307.12855.","DOI":"10.1109\/CDC49753.2023.10384038"}],"container-title":["The International Journal of Robotics Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/02783649241247285","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/02783649241247285","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/02783649241247285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:17:11Z","timestamp":1777457831000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/02783649241247285"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,28]]},"references-count":74,"journal-issue":{"issue":"13","published-print":{"date-parts":[[2024,11]]}},"alternative-id":["10.1177\/02783649241247285"],"URL":"https:\/\/doi.org\/10.1177\/02783649241247285","relation":{},"ISSN":["0278-3649","1741-3176"],"issn-type":[{"value":"0278-3649","type":"print"},{"value":"1741-3176","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4,28]]}}}