{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T14:44:20Z","timestamp":1763563460886,"version":"3.40.3"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031606977"},{"type":"electronic","value":"9783031606984"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-60698-4_22","type":"book-chapter","created":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:01:51Z","timestamp":1716768111000},"page":"359-376","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Robotics: A New Mission for\u00a0FRET Requirements"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4886-5567","authenticated-orcid":false,"given":"Gricel","family":"V\u00e1zquez","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3943-9753","authenticated-orcid":false,"given":"Anastasia","family":"Mavridou","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7708-3877","authenticated-orcid":false,"given":"Marie","family":"Farrell","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Pressburger","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2678-9260","authenticated-orcid":false,"given":"Radu","family":"Calinescu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,5,26]]},"reference":[{"key":"22_CR1","unstructured":"Amazon AWS and Amazon Robotics, case study. https:\/\/aws.amazon.com\/solutions\/case-studies\/amazon-robotics-case-study\/. Accessed 08 Mar 2024"},{"key":"22_CR2","unstructured":"DARPA Robotics Challenge website. https:\/\/www.darpa.mil\/about-us\/timeline\/darpa-robotics-challenge. Accessed 08 Mar 2024"},{"key":"22_CR3","unstructured":"Robocup federation official website. https:\/\/www.robocup.org. Accessed 08 Mar 2024"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Askarpour, M., et\u00a0al.: Robomax: robotic mission adaptation exemplars. In: Software Engineering for Adaptive and Self-Managing Systems, pp. 245\u2013251. IEEE (2021)","DOI":"10.1109\/SEAMS51251.2021.00040"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Bai, R., Zheng, R., Liu, M., Zhang, S.: Multi-robot task planning under individual and collaborative temporal logic specifications. In: Intelligent Robots and Systems, pp. 6382\u20136389. IEEE (2021)","DOI":"10.1109\/IROS51168.2021.9636287"},{"key":"22_CR6","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT press, Cambridge (2008)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Benz, N., Sljivo, I., Vlastos, P.G., Woodard, A., Carter, C., Hejase, M.: The troupe system: an autonomous multi-agent rover swarm. In: AIAA SCITECH 2024 Forum, p.\u00a02894 (2024)","DOI":"10.2514\/6.2024-2894"},{"key":"22_CR8","unstructured":"Biolchini, J., Mian, P., Candida, A.N., Travassos, G.H.: Systematic review in software engineering. Technical report\u00a005, System engineering and computer science department COPPE\/UFRJ (2005)"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-030-76384-8_4","volume-title":"NASA Formal Methods","author":"H Bourbouh","year":"2021","unstructured":"Bourbouh, H., et al.: Integrating formal verification and assurance: an inspection rover case study. In: Dutle, A., Moscato, M.M., Titolo, L., Mu\u00f1oz, C.A., Perez, I. (eds.) NFM 2021. LNCS, vol. 12673, pp. 53\u201371. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76384-8_4"},{"key":"22_CR10","unstructured":"Bozzano, M., Cavada, R., Cimatti, A., Dorigatti, M., Griggio, A., Mariotti, A., Micheli, A., Mover, S., Roveri, M., Tonetta, S.: nuxmv 2.0.0 user manual. Fondazione Bruno Kessler, Technical report, Trento, Italy (2019)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., Schmerl, B., Garlan, D.: Software architecture and task plan co-adaptation for mobile service robots. In: Software Engineering for Adaptive and Self-Managing Systems, pp. 125\u2013136 (2020)","DOI":"10.1145\/3387939.3391591"},{"issue":"3","key":"22_CR12","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s43154-021-00058-1","volume":"2","author":"RC Cardoso","year":"2021","unstructured":"Cardoso, R.C., et al.: A review of verification and validation for space autonomous system. Current Robot. Rep. 2(3), 273\u2013283 (2021)","journal-title":"Current Robot. Rep."},{"key":"22_CR13","unstructured":"C\u00f4t\u00e9, C., L\u00e9tourneau, D., Michaud, F., Brosseau, Y.: Software design patterns for robotics: Solving integration problems with marie. In: Workshop of Robotic Software Environment (2005)"},{"key":"22_CR14","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-031-15908-4_22","volume-title":"Towards Autonomous Robotic Systems","author":"B Devlin-Hill","year":"2022","unstructured":"Devlin-Hill, B., Calinescu, R., C\u00e1mara, J., Caliskanelli, I.: Towards scalable multi-robot systems by partitioning the task domain. In: Pacheco-Gutierrez, S., Cryer, A., Caliskanelli, I., Tugal, H., Skilton, R. (eds.) TAROS 2022. LNCS, vol. 13546, pp. 282\u2013292. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15908-4_22"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Dutle, A., et\u00a0al.: From requirements to autonomous flight: an overview of the monitoring icarous project. In: Formal Methods for Autonomous Systems (2020)","DOI":"10.4204\/EPTCS.329.3"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: International Conference on Software engineering, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Fainekos, G.E., Kress-Gazit, H., Pappas, G.J.: Temporal logic motion planning for mobile robots. In: Robotics and Automation, pp. 2020\u20132025. IEEE (2005)","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Fang, A., Kress-Gazit, H.: Automated task updates of temporal logic specifications for heterogeneous robots. In: Robotics and Automation, pp. 4363\u20134369. IEEE (2022)","DOI":"10.1109\/ICRA46639.2022.9812045"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-030-98464-9_9","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"M Farrell","year":"2022","unstructured":"Farrell, M., Luckcuck, M., Sheridan, O., Monahan, R.: FRETting about requirements: formalised requirements for\u00a0an\u00a0aircraft engine controller. In: Gervasi, V., Vogelsang, A. (eds.) REFSQ 2022. LNCS, vol. 13216, pp. 96\u2013111. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-98464-9_9"},{"key":"22_CR20","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-031-06773-0_14","volume-title":"NASA Formal Methods Symposium","author":"M Farrell","year":"2022","unstructured":"Farrell, M., Luckcuck, M., Sheridan, O., Monahan, R.: Towards refactoring FRETish requirements. In: Deshmukh, J.V., Havelund, K., Perez, I. (eds.) NASA Formal Methods Symposium. LNCS, vol. 13260, pp. 272\u2013279. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06773-0_14"},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"639282","DOI":"10.3389\/frobt.2021.639282","volume":"8","author":"M Farrell","year":"2022","unstructured":"Farrell, M., Mavrakis, N., Ferrando, A., Dixon, C., Gao, Y.: Formal modelling and runtime verification of autonomous grasping for active debris removal. Front. Robot. AI 8, 639282 (2022)","journal-title":"Front. Robot. AI"},{"issue":"5s","key":"22_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3126513","volume":"16","author":"I Gavran","year":"2017","unstructured":"Gavran, I., Majumdar, R., Saha, I.: Antlab: a multi-robot task server. ACM Trans. Embed. Comput. Syst. 16(5s), 1\u201319 (2017)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"22_CR23","unstructured":"Giannakopoulou, D., Mavridou, A., Rhein, J., Pressburger, T., Schumann, J., Shi, N.: Formal requirements elicitation with FRET. In: Requirements Engineering: Foundation for Software Quality (2020)"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Grunske, L.: Specification patterns for probabilistic quality properties. In: Software Engineering, pp. 31\u201340 (2008)","DOI":"10.1145\/1368088.1368094"},{"issue":"2","key":"22_CR25","doi-asserted-by":"publisher","first-page":"3687","DOI":"10.1109\/LRA.2021.3064220","volume":"6","author":"D Gundana","year":"2021","unstructured":"Gundana, D., Kress-Gazit, H.: Event-based signal temporal logic synthesis for single and multi-robot tasks. IEEE Robot. Autom. Lett. 6(2), 3687\u20133694 (2021)","journal-title":"IEEE Robot. Autom. Lett."},{"issue":"4","key":"22_CR26","doi-asserted-by":"publisher","first-page":"10001","DOI":"10.1109\/LRA.2022.3192625","volume":"7","author":"D Gundana","year":"2022","unstructured":"Gundana, D., Kress-Gazit, H.: Event-based signal temporal logic tasks: execution and feedback in complex environments. IEEE Robot. Autom. Lett. 7(4), 10001\u201310008 (2022)","journal-title":"IEEE Robot. Autom. Lett."},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"Innes, C., Ramamoorthy, S.: Automated testing with temporal logic specifications for robotic controllers using adaptive experiment design. In: Robotics and Automation, pp. 6814\u20136821. IEEE (2022)","DOI":"10.1109\/ICRA46639.2022.9811579"},{"key":"22_CR28","unstructured":"Keele, S.: Guidelines for performing systematic literature reviews in software engineering. Technical report EBSE (2007)"},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.: Real-time specification patterns. In: Software Engineering, pp. 372\u2013381 (2005)","DOI":"10.1145\/1062455.1062526"},{"issue":"4","key":"22_CR30","doi-asserted-by":"publisher","first-page":"2516","DOI":"10.1109\/TRO.2021.3130794","volume":"38","author":"K Leahy","year":"2021","unstructured":"Leahy, K., et al.: Scalable and robust algorithms for task-based coordination from high-level specifications (scratches). IEEE Trans. Robot. 38(4), 2516\u20132535 (2021)","journal-title":"IEEE Trans. Robot."},{"issue":"5","key":"22_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3342355","volume":"52","author":"M Luckcuck","year":"2019","unstructured":"Luckcuck, M., Farrell, M., Dennis, L.A., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems: a survey. ACM Comput. Surv. 52(5), 1\u201341 (2019)","journal-title":"ACM Comput. Surv."},{"key":"22_CR32","doi-asserted-by":"crossref","unstructured":"Mavridou, A., et al.: The ten lockheed martin cyber-physical challenges: formalized, analyzed, and explained. In: Requirements Engineering, pp. 300\u2013310. IEEE (2020)","DOI":"10.1109\/RE48521.2020.00040"},{"key":"22_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-319-95582-7_24","volume-title":"Formal Methods","author":"C Menghi","year":"2018","unstructured":"Menghi, C., Garcia, S., Pelliccione, P., Tumova, J.: Multi-robot LTL planning under uncertainty. In: Havelund, K., Peleska, J., Roscoe, B., de Vink, E. (eds.) FM 2018. LNCS, vol. 10951, pp. 399\u2013417. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-95582-7_24"},{"key":"22_CR34","doi-asserted-by":"crossref","unstructured":"Menghi, C., Tsigkanos, C., Berger, T., Pelliccione, P.: PsALM: specification of dependable robotic missions. In: Software Engineering, pp. 99\u2013102. IEEE (2019)","DOI":"10.1109\/ICSE-Companion.2019.00048"},{"key":"22_CR35","doi-asserted-by":"crossref","unstructured":"Menghi, C., Tsigkanos, C., Pelliccione, P., Ghezzi, C., Berger, T.: Specification patterns for robotic missions. IEEE Trans. Softw. Eng. 47(10) (2019)","DOI":"10.1109\/TSE.2019.2945329"},{"key":"22_CR36","doi-asserted-by":"crossref","unstructured":"Menghi, C., et al.: Mission specification patterns for mobile robots: providing support for quantitative properties. IEEE Trans. Softw. Eng. (2022)","DOI":"10.1109\/TSE.2022.3230059"},{"key":"22_CR37","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-031-29786-1_21","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"T Pressburger","year":"2023","unstructured":"Pressburger, T., Katis, A., Dutle, A., Mavridou, A.: Authoring, analyzing, and monitoring requirements for a lift-plus-cruise aircraft. In: Ferrari, A., Penzenstadler, B. (eds.) REFSQ 2023. LNCS, vol. 13975, pp. 295\u2013308. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-29786-1_21"},{"issue":"1","key":"22_CR38","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1109\/LRA.2017.2755078","volume":"3","author":"S Saha","year":"2017","unstructured":"Saha, S., Julius, A.A.: Task and motion planning for manipulator arms with metric temporal logic specifications. IEEE Robot. Autom. Lett. 3(1), 379\u2013386 (2017)","journal-title":"IEEE Robot. Autom. Lett."},{"issue":"8","key":"22_CR39","doi-asserted-by":"publisher","first-page":"1915","DOI":"10.1016\/j.jss.2012.02.041","volume":"85","author":"S Salamah","year":"2012","unstructured":"Salamah, S., Gates, A., Kreinovich, V.: Validated templates for specification of complex LTL formulas. Syst. Softw. 85(8), 1915\u20131929 (2012)","journal-title":"Syst. Softw."},{"issue":"7","key":"22_CR40","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. Robot. Res. 37(7), 818\u2013838 (2018)","journal-title":"Robot. Res."},{"issue":"4","key":"22_CR41","doi-asserted-by":"publisher","first-page":"11561","DOI":"10.1109\/LRA.2022.3200760","volume":"7","author":"M Sewlia","year":"2022","unstructured":"Sewlia, M., Verginis, C.K., Dimarogonas, D.V.: Cooperative object manipulation under signal temporal logic tasks and uncertain dynamics. IEEE Robot. Autom. Lett. 7(4), 11561\u201311568 (2022)","journal-title":"IEEE Robot. Autom. Lett."},{"issue":"2","key":"22_CR42","doi-asserted-by":"publisher","first-page":"4169","DOI":"10.1109\/LRA.2021.3068114","volume":"6","author":"G Silano","year":"2021","unstructured":"Silano, G., Baca, T., Penicka, R., Liuzza, D., Saska, M.: Power line inspection tasks with multi-aerial robot systems via signal temporal logic specifications. IEEE Robot. Autom. Lett. 6(2), 4169\u20134176 (2021)","journal-title":"IEEE Robot. Autom. Lett."},{"key":"22_CR43","doi-asserted-by":"crossref","unstructured":"Sljivo, I., Perez, I., Mavridou, A., Schumann, J., Vlastos, P.G., Carter, C.: Dynamic assurance of autonomous systems through ground control software. In: AIAA\/Scitech (2024)","DOI":"10.2514\/6.2024-1208"},{"key":"22_CR44","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-030-89177-0_36","volume-title":"Towards Autonomous Robotic Systems","author":"G V\u00e1zquez","year":"2021","unstructured":"V\u00e1zquez, G., Calinescu, R., C\u00e1mara, J.: Scheduling multi-robot missions with joint tasks and heterogeneous robot teams. In: Fox, C., Gao, J., Ghalamzan Esfahani, A., Saaj, M., Hanheide, M., Parsons, S. (eds.) TAROS 2021. LNCS (LNAI), vol. 13054, pp. 354\u2013359. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89177-0_36"},{"key":"22_CR45","doi-asserted-by":"crossref","unstructured":"V\u00e1zquez, G., Calinescu, R., C\u00e1mara, J.: Scheduling of missions with constrained tasks for heterogeneous robot systems. In: Formal Methods for Autonomous Systems (2022)","DOI":"10.4204\/EPTCS.371.11"},{"issue":"2","key":"22_CR46","doi-asserted-by":"publisher","first-page":"1047","DOI":"10.1109\/TRO.2021.3088764","volume":"38","author":"P Yu","year":"2021","unstructured":"Yu, P., Dimarogonas, D.V.: Distributed motion coordination for multirobot systems under LTL specifications. IEEE Trans. Robot. 38(2), 1047\u20131062 (2021)","journal-title":"IEEE Trans. Robot."},{"issue":"3","key":"22_CR47","doi-asserted-by":"publisher","first-page":"8194","DOI":"10.1109\/LRA.2022.3185384","volume":"7","author":"H Zhang","year":"2022","unstructured":"Zhang, H., Kan, Z.: Temporal logic guided meta q-learning of multiple tasks. IEEE Robot. Autom. Lett. 7(3), 8194\u20138201 (2022)","journal-title":"IEEE Robot. Autom. Lett."}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-60698-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T01:24:08Z","timestamp":1732065848000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-60698-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031606977","9783031606984"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-60698-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"26 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Moffett Field, CA","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}