{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T09:15:49Z","timestamp":1760346949489,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100010686","name":"H2020 European Institute of Innovation and Technology","doi-asserted-by":"publisher","award":["731869, 694277"],"award-info":[{"award-number":["731869, 694277"]}],"id":[{"id":"10.13039\/100010686","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377812.3382143","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T22:53:48Z","timestamp":1601592828000},"page":"5-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["PROMISE"],"prefix":"10.1145","author":[{"given":"Sergio","family":"Garc\u00eda","sequence":"first","affiliation":[{"name":"University of Gothenburg, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[{"name":"University of Gothenburg, Gothenburg, Sweden and University of L'Aquila, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Berger","sequence":"additional","affiliation":[{"name":"University of Gothenburg, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Bures","sequence":"additional","affiliation":[{"name":"Charles University, Prague, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"J. Bohren and S. Cousins. 2010. The SMACH high-level executive [ROS news]. IEEE Robotics & Automation Magazine (2010).  J. Bohren and S. Cousins. 2010. The SMACH high-level executive [ROS news]. IEEE Robotics & Automation Magazine (2010).","DOI":"10.1109\/MRA.2010.938836"},{"volume-title":"ASE'15","author":"Bozhinoski D.","key":"e_1_3_2_1_2_1","unstructured":"D. Bozhinoski , D. Di Ruscio , I. Malavolta , P. Pelliccione , and M. Tivoli . 2015. FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters . In ASE'15 . D. Bozhinoski, D. Di Ruscio, I. Malavolta, P. Pelliccione, and M. Tivoli. 2015. FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters. In ASE'15."},{"volume-title":"Behavior Trees in Robotics and Al: An Introduction","author":"Colledanchise Michele","key":"e_1_3_2_1_3_1","unstructured":"Michele Colledanchise and Petter \u00d6gren . 2018. Behavior Trees in Robotics and Al: An Introduction . CRC Press . Michele Colledanchise and Petter \u00d6gren. 2018. Behavior Trees in Robotics and Al: An Introduction. CRC Press."},{"key":"e_1_3_2_1_4_1","volume":"201","author":"Doherty P.","unstructured":"P. Doherty , F. Heintz , and J. Kvarnstr\u00f6m. 201 3. High-level mission specification and planning for collaborative unmanned aircraft systems using delegation. Unmanned Systems (2013). P. Doherty, F. Heintz, and J. Kvarnstr\u00f6m. 2013. High-level mission specification and planning for collaborative unmanned aircraft systems using delegation. Unmanned Systems (2013).","journal-title":"J. Kvarnstr\u00f6m."},{"volume-title":"PRIMA'10","author":"Doherty P.","key":"e_1_3_2_1_5_1","unstructured":"P. Doherty , F. Heintz , and D. Land\u00e9n . 2010. A distributed task specification language for mixed-initiative delegation . In PRIMA'10 . P. Doherty, F. Heintz, and D. Land\u00e9n. 2010. A distributed task specification language for mixed-initiative delegation. In PRIMA'10."},{"volume-title":"ICSA'18","author":"Garc\u00eda S.","key":"e_1_3_2_1_6_1","unstructured":"S. Garc\u00eda , C. Menghi , P. Pelliccione , T. Berger , and R. Wohlrab . 2018. An Architecture for Decentralized, Collaborative, and Autonomous Robots . In ICSA'18 . S. Garc\u00eda, C. Menghi, P. Pelliccione, T. Berger, and R. Wohlrab. 2018. An Architecture for Decentralized, Collaborative, and Autonomous Robots. In ICSA'18."},{"volume-title":"SLE'19","author":"Garc\u00eda S.","key":"e_1_3_2_1_7_1","unstructured":"S. Garc\u00eda , P. Pelliccione , C. Menghi , T. Berger , and T. Bures . 2019. High-level mission specification for multiple robots . In SLE'19 . S. Garc\u00eda, P. Pelliccione, C. Menghi, T. Berger, and T. Bures. 2019. High-level mission specification for multiple robots. In SLE'19."},{"key":"e_1_3_2_1_8_1","volume":"201","author":"Maoz S.","unstructured":"S. Maoz and J. Ringert. 201 8. On the software engineering challenges of applying reactive synthesis to robotics. In RoSE'18. S. Maoz and J. Ringert. 2018. On the software engineering challenges of applying reactive synthesis to robotics. In RoSE'18.","journal-title":"J. Ringert."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"C. Menghi C. Tsigkanos P. Pelliccione C. Ghezzi and T. Berger. 2019. Specification Patterns for Robotic Missions. TSE (2019).  C. Menghi C. Tsigkanos P. Pelliccione C. Ghezzi and T. Berger. 2019. Specification Patterns for Robotic Missions. TSE (2019).","DOI":"10.1145\/3183440.3195044"},{"volume-title":"SIMPAR'14","author":"Nordmann A.","key":"e_1_3_2_1_10_1","unstructured":"A. Nordmann , N. Hochgeschwender , and S. Wrede . 2014. A survey on domain-specific languages in robotics . In SIMPAR'14 . A. Nordmann, N. Hochgeschwender, and S. Wrede. 2014. A survey on domain-specific languages in robotics. In SIMPAR'14."},{"key":"e_1_3_2_1_11_1","volume-title":"Guest Editor","author":"Schmidt Douglas C.","year":"2006","unstructured":"Douglas C. Schmidt . 2006. Guest Editor 's Introduction : Model-Driven Engineering. Computer 39, 2 ( 2006 ). Douglas C. Schmidt. 2006. Guest Editor's Introduction: Model-Driven Engineering. Computer 39, 2 (2006)."},{"key":"e_1_3_2_1_12_1","volume-title":"Development of a Flexible Language for Mission Description for Multi-robot Missions. Information Sciences","author":"Silva DC","year":"2014","unstructured":"DC Silva , PH Abreu , LP Reis , and E Oliveira . 2014. Development of a Flexible Language for Mission Description for Multi-robot Missions. Information Sciences ( 2014 ). DC Silva, PH Abreu, LP Reis, and E Oliveira. 2014. Development of a Flexible Language for Mission Description for Multi-robot Missions. Information Sciences (2014)."},{"volume-title":"AAMAS'08","author":"Ziparo V.","key":"e_1_3_2_1_13_1","unstructured":"V. Ziparo , L. Iocchi , D. Nardi , P. F. Palamara , and H. Costelha . 2008. Petri net plans: a formal model for representation and execution of multi-robot plans . In AAMAS'08 . V. Ziparo, L. Iocchi, D. Nardi, P. F. Palamara, and H. Costelha. 2008. Petri net plans: a formal model for representation and execution of multi-robot plans. In AAMAS'08."}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"],"location":"Seoul South Korea","acronym":"ICSE '20"},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377812.3382143","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377812.3382143","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:41Z","timestamp":1750199921000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377812.3382143"}},"subtitle":["high-level mission specification for multiple robots"],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":13,"alternative-id":["10.1145\/3377812.3382143","10.1145\/3377812"],"URL":"https:\/\/doi.org\/10.1145\/3377812.3382143","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}