{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T14:05:34Z","timestamp":1756994734531,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030954581"},{"type":"electronic","value":"9783030954598"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-95459-8_14","type":"book-chapter","created":{"date-parts":[[2022,2,17]],"date-time":"2022-02-17T19:02:27Z","timestamp":1645124547000},"page":"224-241","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["ScRATCHS: Scalable and\u00a0Robust Algorithms for\u00a0Task-Based Coordination from\u00a0High-Level Specifications"],"prefix":"10.1007","author":[{"given":"Austin M.","family":"Jones","sequence":"first","affiliation":[]},{"given":"Kevin","family":"Leahy","sequence":"additional","affiliation":[]},{"given":"Cristian","family":"Vasile","sequence":"additional","affiliation":[]},{"given":"Sadra","family":"Sadraddini","sequence":"additional","affiliation":[]},{"given":"Zachary","family":"Serlin","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Tron","sequence":"additional","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,2,17]]},"reference":[{"key":"14_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"14_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7","volume-title":"Formal Methods for Discrete-Time Dynamical Systems","author":"C Belta","year":"2017","unstructured":"Belta, C., Yordanov, B., Gol, E.A.: Formal Methods for Discrete-Time Dynamical Systems, vol. 89. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-50763-7"},{"issue":"1","key":"14_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."},{"issue":"4","key":"14_CR4","doi-asserted-by":"publisher","first-page":"912","DOI":"10.1109\/TRO.2009.2022423","volume":"25","author":"H-L Choi","year":"2009","unstructured":"Choi, H.-L., Brunet, L., How, J.P.: Consensus-based decentralized auctions for robust task allocation. IEEE Trans. Robot. 25(4), 912\u2013926 (2009)","journal-title":"IEEE Trans. Robot."},{"doi-asserted-by":"crossref","unstructured":"Connell, D., La, H.M.: Extended rapidly exploring random tree\u2013based dynamic path planning and replanning for mobile robots. Int. J. Adv. Robot. Syst. 15(3), 1\u201315 (2018)","key":"14_CR5","DOI":"10.1177\/1729881418773874"},{"issue":"6","key":"14_CR6","doi-asserted-by":"publisher","first-page":"495","DOI":"10.9746\/jcmsi.10.495","volume":"10","author":"J Cortes","year":"2017","unstructured":"Cortes, J., Egerstedt, M.: Coordinated control of multi-robot systems: a survey. SICE J. Control Measur. Syst. Integr. 10(6), 495\u2013503 (2017)","journal-title":"SICE J. Control Measur. Syst. Integr."},{"doi-asserted-by":"crossref","unstructured":"Diaz-Mercado, Y., Jones, A., Belta, C., Egerstedt, M.: Correct-by-construction control synthesis for multi-robot mixing. In: 2015 54th IEEE Conference on Decision and Control (CDC), pp. 221\u2013226, December 2015","key":"14_CR7","DOI":"10.1109\/CDC.2015.7402112"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_9"},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1177\/0278364914546174","volume":"34","author":"M Guo","year":"2015","unstructured":"Guo, M., Dimarogonas, D.V.: Multi-agent plan reconfiguration under local LTL specifications. Int. J. Robot. Res. 34(2), 218\u2013235 (2015)","journal-title":"Int. J. Robot. Res."},{"issue":"2","key":"14_CR10","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1109\/TASE.2016.2628389","volume":"14","author":"M Guo","year":"2017","unstructured":"Guo, M., Dimarogonas, D.V.: Task and motion coordination for heterogeneous multiagent systems with loosely coupled local tasks. IEEE Trans. Autom. Sci. Eng. 14(2), 797\u2013808 (2017)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"doi-asserted-by":"crossref","unstructured":"Haghighi, I., Sadraddini, S., Belta, C.: Robotic swarm control from spatio-temporal specifications. In: 2016 IEEE 55th Conference on Decision and Control (CDC), pp. 5708\u20135713. IEEE (2016)","key":"14_CR11","DOI":"10.1109\/CDC.2016.7799146"},{"doi-asserted-by":"crossref","unstructured":"Karaman, S., Frazzoli, E.: Vehicle routing problem with metric temporal logic specifications. In: 2008 47th IEEE Conference on Decision and Control, CDC 2008, pp. 3953\u20133958. IEEE (2008)","key":"14_CR12","DOI":"10.1109\/CDC.2008.4739366"},{"doi-asserted-by":"crossref","unstructured":"Karlsson, J., Vasile, C.-I., Tumova, J., Karaman, S., Rus, D.: Multi-vehicle motion planning for social optimal mobility-on-demand. In: 2018 IEEE International Conference on Robotics and Automation (ICRA), pp. 7298\u20137305. IEEE (2018)","key":"14_CR13","DOI":"10.1109\/ICRA.2018.8462968"},{"doi-asserted-by":"crossref","unstructured":"Kiener, J., Von Stryk, O.: Cooperation of heterogeneous, autonomous robots: a case study of humanoid and wheeled robots. In: 2007 IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 959\u2013964. IEEE (2007)","key":"14_CR14","DOI":"10.1109\/IROS.2007.4399291"},{"doi-asserted-by":"crossref","unstructured":"Kim, J., Banks, C., Shah, J.: Collaborative planning with encoding of users\u2019 high-level strategies. In: Thirty-First AAAI Conference on Artificial Intelligence (2017)","key":"14_CR15","DOI":"10.1609\/aaai.v31i1.10627"},{"issue":"12","key":"14_CR16","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1177\/0278364913496484","volume":"32","author":"G Korsah","year":"2013","unstructured":"Korsah, G., Stentz, A., Dias, M.: A comprehensive taxonomy for multi-robot task allocation. Int. J. Robot. Res. 32(12), 1495\u20131512 (2013)","journal-title":"Int. J. Robot. Res."},{"doi-asserted-by":"crossref","unstructured":"Leahy, K., Jones, A., Schwager, M., Belta, C.: Distributed information gathering policies under temporal logic constraints. In: 2015 54th IEEE Conference on Decision and Control (CDC), pp. 6803\u20136808, December 2015","key":"14_CR17","DOI":"10.1109\/CDC.2015.7403291"},{"unstructured":"Linz, P.: An Introduction to Formal Languages and Automata. Jones & Bartlett Learning, Boston (2006)","key":"14_CR18"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT-2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"unstructured":"Mittelmann, H.D.: Selected benchmark results. In: INFORMS Annual Meeting (2016). http:\/\/plato.asu.edu\/talks\/informs2016_bench.pdf","key":"14_CR20"},{"doi-asserted-by":"crossref","unstructured":"Pant, Y.V., Abbas, H., Quaye, R.A., Mangharam, R.: Fly-by-logic: control of multi-drone fleets with temporal logic objectives. In: ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS) (2018)","key":"14_CR21","DOI":"10.1109\/ICCPS.2018.00026"},{"doi-asserted-by":"crossref","unstructured":"Prorok, A., Hsieh, M.A., Kumar, V.: Fast redistribution of a swarm of heterogeneous robots. In: Proceedings of the 9th EAI International Conference on Bio-Inspired Information and Communications Technologies (formerly BIONETICS), pp. 249\u2013255. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) (2016)","key":"14_CR22","DOI":"10.4108\/eai.3-12-2015.2262349"},{"doi-asserted-by":"crossref","unstructured":"Raman, V., Donz\u00e9, A., Maasoumy, M., Murray, R.M., Sangiovanni-Vincentelli, A., Seshia, S.A.: Model predictive control with signal temporal logic specifications. In: 2014 IEEE 53rd Annual Conference on Decision and Control (CDC), pp. 81\u201387. IEEE (2014)","key":"14_CR23","DOI":"10.1109\/CDC.2014.7039363"},{"unstructured":"Sadraddini, S.: Formal methods for resilient control (2018). https:\/\/open.bu.edu\/handle\/2144\/27455","key":"14_CR24"},{"doi-asserted-by":"crossref","unstructured":"Sadraddini, S., Belta, C.: Robust temporal logic model predictive control. In: 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 772\u2013779. IEEE (2015)","key":"14_CR25","DOI":"10.1109\/ALLERTON.2015.7447084"},{"unstructured":"Sahin, Y.E., Nilsson, P., Ozay, N.: Multirobot coordination with counting temporal logics. arXiv preprintarXiv:1810.13087 (2018)","key":"14_CR26"},{"issue":"7","key":"14_CR27","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, D.V.: Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems. Int. J. Robot. Res. 37(7), 818\u2013838 (2018)","journal-title":"Int. J. Robot. Res."},{"issue":"2","key":"14_CR28","doi-asserted-by":"publisher","first-page":"1025","DOI":"10.1109\/LRA.2018.2794608","volume":"3","author":"B Schlotfeldt","year":"2018","unstructured":"Schlotfeldt, B., Thakur, D., Atanasov, N., Kumar, V., Pappas, G.J.: Anytime planning for decentralized multirobot active information gathering. IEEE Robot. Autom. Lett. 3(2), 1025\u20131032 (2018)","journal-title":"IEEE Robot. Autom. Lett."},{"unstructured":"Simmons, R., et al.: Coordinated deployment of multiple, heterogeneous robots. Technical report, Carnegie-Mellon University, School of Computer Science, Pittsburgh, PA (2000)","key":"14_CR29"},{"unstructured":"Tjeng, V., Xiao, K., Tedrake, R.: Evaluating robustness of neural networks with mixed integer programming. arXiv preprintarXiv:1711.07356 (2017)","key":"14_CR30"},{"key":"14_CR31","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.tcs.2017.07.012","volume":"691","author":"C-I Vasile","year":"2017","unstructured":"Vasile, C.-I., Aksaray, D., Belta, C.: Time window temporal logic. Theor. Comput. Sci. 691, 27\u201354 (2017)","journal-title":"Theor. Comput. Sci."}],"container-title":["Springer Proceedings in Advanced Robotics","Robotics Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-95459-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T08:12:14Z","timestamp":1674807134000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-95459-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030954581","9783030954598"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-95459-8_14","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"type":"print","value":"2511-1256"},{"type":"electronic","value":"2511-1264"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 February 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISRR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The International Symposium of Robotics Research","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hanoi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vietnam","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isrr2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/h2t-projects.webarchiv.kit.edu\/Projects\/ISRR2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}