{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:03:33Z","timestamp":1775055813305,"version":"3.50.1"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031210891","type":"print"},{"value":"9783031210907","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,12,15]],"date-time":"2022-12-15T00:00:00Z","timestamp":1671062400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,12,15]],"date-time":"2022-12-15T00:00:00Z","timestamp":1671062400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-21090-7_14","type":"book-chapter","created":{"date-parts":[[2022,12,14]],"date-time":"2022-12-14T18:11:35Z","timestamp":1671041495000},"page":"223-238","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Partial Satisfaction of\u00a0Signal Temporal Logic Specifications for\u00a0Coordination of\u00a0Multi-robot Systems"],"prefix":"10.1007","author":[{"given":"Gustavo A.","family":"Cardona","sequence":"first","affiliation":[]},{"given":"Cristian-Ioan","family":"Vasile","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,15]]},"reference":[{"issue":"4","key":"14_CR1","doi-asserted-by":"publisher","first-page":"1279","DOI":"10.1109\/LCSYS.2020.3032845","volume":"5","author":"M Cai","year":"2020","unstructured":"Cai, M., Peng, H., Li, Z., Gao, H., Kan, Z.: Receding horizon control-based motion planning with partially infeasible ltl constraints. IEEE Control Syst. Lett. 5(4), 1279\u20131284 (2020)","journal-title":"IEEE Control Syst. Lett."},{"issue":"5","key":"14_CR2","doi-asserted-by":"publisher","first-page":"2386","DOI":"10.1109\/TAC.2020.3006967","volume":"66","author":"M Cai","year":"2020","unstructured":"Cai, M., Peng, H., Li, Z., Kan, Z.: Learning-based probabilistic ltl motion planning with environment and motion uncertainties. IEEE Trans. Autom. Control 66(5), 2386\u20132392 (2020)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"8","key":"14_CR3","doi-asserted-by":"publisher","first-page":"1702","DOI":"10.3390\/app9081702","volume":"9","author":"GA Cardona","year":"2019","unstructured":"Cardona, G.A., Calderon, J.M.: Robot swarm navigation and victim detection using rendezvous consensus in search and rescue operations. Appl. Sci. 9(8), 1702 (2019)","journal-title":"Appl. Sci."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Choudhury, S., Gupta, J.K., Kochenderfer, M.J., Sadigh, D., Bohg, J.: Dynamic multi-robot task allocation under uncertainty and temporal constraints. Robot.: Sci. Syst. 46(1), 231\u2013247 (2020)","DOI":"10.1007\/s10514-021-10022-9"},{"issue":"6","key":"14_CR5","doi-asserted-by":"publisher","first-page":"495","DOI":"10.9746\/jcmsi.10.495","volume":"10","author":"J Cort\u00e9s","year":"2017","unstructured":"Cort\u00e9s, J., Egerstedt, M.: Coordinated control of multi-robot systems: a survey. SICE J. Control Meas. Syst. Integr. 10(6), 495\u2013503 (2017)","journal-title":"SICE J. Control Meas. Syst. Integr."},{"issue":"2","key":"14_CR6","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/TRA.2004.824698","volume":"20","author":"J Cortes","year":"2004","unstructured":"Cortes, J., Martinez, S., Karatas, T., Bullo, F.: Coverage control for mobile sensing networks. IEEE Trans. Robot. Autom. 20(2), 243\u2013255 (2004)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to lattices and order. Cambridge University Press, Cambridge (2002)","DOI":"10.1017\/CBO9780511809088"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Dokhanchi, A., Hoxha, B., Fainekos, G.: On-line monitoring for temporal logic robustness. In: 5th International Conference on Runtime Verification, Toronto, ON, Canada, pp. 231\u2013246. Springer (2014)","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: International Conference on Formal Modeling and Analysis of Timed Systems, pp. 92\u2013106. Springer (2010)","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Emam, Y., Mayya, S., Notomista, G., Bohannon, A., Egerstedt, M.: Adaptive task allocation for heterogeneous multi-robot teams with evolving and unknown robot capabilities (2020). arXiv:2003.03344","DOI":"10.1109\/ICRA40945.2020.9197283"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Emam, Y., Wilson, S., Hakenberg, M., Munz, U., Egerstedt, M.: A receding horizon scheduling approach for search & rescue scenarios. arXiv pp. arXiv-2004 (2020)","DOI":"10.1016\/j.ifacol.2020.12.1680"},{"issue":"42","key":"14_CR12","doi-asserted-by":"publisher","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"GE Fainekos","year":"2009","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42), 4262\u20134291 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR13","unstructured":"Gurobi Optimization, LLC: Gurobi optimizer reference manual. https:\/\/www.gurobi.com (2021)"},{"issue":"7","key":"14_CR14","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1016\/S0005-1098(01)00059-0","volume":"37","author":"W Heemels","year":"2001","unstructured":"Heemels, W., De Schutter, B., Bemporad, A.: Equivalence of hybrid dynamical models. Automatica 37(7), 1085\u20131091 (2001)","journal-title":"Automatica"},{"issue":"1","key":"14_CR15","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/568438.568455","volume":"32","author":"JE Hopcroft","year":"2001","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to automata theory, languages, and computation. Acm Sigact. News 32(1), 60\u201365 (2001)","journal-title":"Acm Sigact. News"},{"key":"14_CR16","unstructured":"Jones, A.M., Leahy, K., Vasile, C., Sadraddini, S., Serlin, Z., Tron, R., Belta, C.: Scratchs: Scalable and robust algorithms for task-based coordination from high-level specifications. In: International Symposium of Robotics Research, International Federation of Robotics Research (2019)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Kamale, D., Karyofylli, E., Vasile, C.I.: Automata-based optimal planning with relaxed specifications. In: 2021 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE (2021)","DOI":"10.1109\/IROS51168.2021.9635906"},{"key":"14_CR18","volume-title":"Nonlinear Systems","author":"HK Khalil","year":"2002","unstructured":"Khalil, H.K.: Nonlinear Systems, 3rd edn. Patience Hall, Hoboken (2002)","edition":"3"},{"key":"14_CR19","unstructured":"Lacerda, B., Parker, D., Hawes, N.: Optimal policy generation for partially satisfiable co-safe ltl specifications. In: Twenty-Fourth International Joint Conference on Artificial Intelligence (2015)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Lahijanian, M., Almagor, S., Fried, D., Kavraki, L.E., Vardi, M.Y.: This time the robot settles for a cost: a quantitative approach to temporal logic planning with partial satisfaction. In: Twenty-Ninth AAAI Conference on Artificial Intelligence (2015)","DOI":"10.1609\/aaai.v29i1.9670"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Leahy, K., Jones, A., Vasile, C.I.: Fast decomposition of temporal logic specifications for heterogeneous teams. IEEE Robot. Autom. Lett. 7(2), 2297\u20132304 (2022)","DOI":"10.1109\/LRA.2022.3143304"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, pp. 152\u2013166. Springer (2004)","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Notomista, G., Mayya, S., Hutchinson, S., Egerstedt, M.: An optimal task allocation strategy for heterogeneous multi-robot systems. In: 2019 18th European Control Conference (ECC), pp. 2071\u20132076. IEEE (2019)","DOI":"10.23919\/ECC.2019.8795895"},{"key":"14_CR24","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: 53rd IEEE Conference on Decision and Control, pp. 81\u201387. IEEE (2014)","DOI":"10.1109\/CDC.2014.7039363"},{"key":"14_CR25","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)","DOI":"10.1109\/ALLERTON.2015.7447084"},{"issue":"7","key":"14_CR26","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. Inter. J. Robot. Res. 37(7), 818\u2013838 (2018)","journal-title":"Inter. J. Robot. Res."},{"issue":"8","key":"14_CR27","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1177\/0278364913487931","volume":"32","author":"A Ulusoy","year":"2013","unstructured":"Ulusoy, A., Smith, S.L., Ding, X.C., Belta, C., Rus, D.: Optimality and robustness in multi-robot path planning with temporal logic constraints. Int. J. Robot. Res. 32(8), 889\u2013911 (2013)","journal-title":"Int. J. Robot. Res."},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Voos, H.: Nonlinear control of a quadrotor micro-uav using feedback-linearization. In: 2009 IEEE International Conference on Mechatronics, pp. 1\u20136. IEEE (2009)","DOI":"10.1109\/ICMECH.2009.4957154"},{"issue":"4","key":"14_CR29","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1057\/jors.1990.57","volume":"41","author":"Y Wilamowsky","year":"1990","unstructured":"Wilamowsky, Y., Epstein, S., Dickman, B.: Optimization in multiple-objective linear programming problems with pre-emptive priorities. J. Oper. Res. Soc. 41(4), 351\u2013356 (1990)","journal-title":"J. Oper. Res. Soc."},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Zhou, D., Schwager, M.: Vector field following for quadrotors using differential flatness. In: IEEE International Conference on Robotics and Automation (ICRA), pp. 6567\u20136572 (2014)","DOI":"10.1109\/ICRA.2014.6907828"}],"container-title":["Springer Proceedings in Advanced Robotics","Algorithmic Foundations of Robotics XV"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-21090-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,14]],"date-time":"2022-12-14T18:18:10Z","timestamp":1671041890000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21090-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,15]]},"ISBN":["9783031210891","9783031210907"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21090-7_14","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"value":"2511-1256","type":"print"},{"value":"2511-1264","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,12,15]]},"assertion":[{"value":"15 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WAFR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on the Algorithmic Foundations of Robotics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":", MD","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wafr2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wafr2022.github.io","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}