{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T01:42:54Z","timestamp":1769910174668,"version":"3.49.0"},"reference-count":118,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["731869"],"award-info":[{"award-number":["731869"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["694277"],"award-info":[{"award-number":["694277"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100008665","name":"Universit\u00e9 du Luxembourg","doi-asserted-by":"publisher","award":["ReACP"],"award-info":[{"award-number":["ReACP"]}],"id":[{"id":"10.13039\/100008665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2021,10,1]]},"DOI":"10.1109\/tse.2019.2945329","type":"journal-article","created":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T19:59:53Z","timestamp":1570219193000},"page":"2208-2224","source":"Crossref","is-referenced-by-count":73,"title":["Specification Patterns for Robotic Missions"],"prefix":"10.1109","volume":"47","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5303-8481","authenticated-orcid":false,"given":"Claudio","family":"Menghi","sequence":"first","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9493-3404","authenticated-orcid":false,"given":"Christos","family":"Tsigkanos","sequence":"additional","affiliation":[{"name":"TU Wien, Wien, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5438-2281","authenticated-orcid":false,"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[{"name":"Chalmers, Göteborg, Sweden"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[{"name":"University of L'Aquila, L'Aquila, AQ, Italy"}]},{"given":"Thorsten","family":"Berger","sequence":"additional","affiliation":[{"name":"University of Gothenburg, Gothenburg, Sweden"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-007-0012-6"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587064"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-008-0063-7"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2815021.2815032"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1177\/0278364915595278"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref36","first-page":"995","article-title":"{CHAPTER} 16 - temporal and modal logic","author":"emerson","year":"1990","journal-title":"Formal Models and Semantics"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref34","article-title":"A requirements modeling language for the component behavior of cyber physical robotics systems","volume":"abs 1409 394","author":"ringert","year":"2014","journal-title":"CoRR"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-014-9418-8"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2016.7844890"},{"key":"ref29","first-page":"1","article-title":"Sorry dave, i’m afraid i can’t do that: Explaining unachievable robot tasks using natural language","volume":"2","author":"raman","year":"2013","journal-title":"Robot Sci Syst"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786824"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942117"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_24"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.14236\/ewic\/IDS1996.1"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3196558.3196561"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2015.58"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2004.826285"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696978"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.943479"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3195044"},{"key":"ref58","year":"2018"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/11840541_68"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_44"},{"key":"ref55","article-title":"Spectra","author":"maoz","year":"2018"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00048"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950300"},{"key":"ref52","first-page":"58","article-title":"Synthesizing a lego forklift controller in GR(1): A case study","author":"maoz","year":"2015","journal-title":"Proc 4th Workshop Synthesis"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368094"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.08.007"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2009.932127"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.06.012"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11900-7_17"},{"key":"ref49","first-page":"5025","article-title":"Revising motion planning under linear temporal logic specifications in partially known workspaces","author":"guo","year":"2013","journal-title":"Proc IEEE Int Conf Robot Autom"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-014-9418-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1991.213082"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68951-5_2"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/IRI-05.2005.1506537"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6094884"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2398877"},{"key":"ref41","first-page":"372","article-title":"Real-time specification patterns","author":"konrad","year":"2005","journal-title":"Proc 27th Int l Conf Software Eng"},{"key":"ref44","first-page":"107","article-title":"Intelligence without reason","volume":"3","author":"brooks","year":"1991","journal-title":"Artificial intelligence critical concepts"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227125"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759489"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_24"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3195046"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89363-1_10"},{"key":"ref76","year":"2018"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_10"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152703"},{"key":"ref75","first-page":"110","article-title":"Map-based strategies for robot navigation in unknown environments","author":"stentz","year":"1996","journal-title":"Proc AAAI Spring Symp Planning Incomplete Inf Robot Problems"},{"key":"ref78","year":"2018"},{"key":"ref79","year":"2018"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref62","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/BF01257083"},{"key":"ref63","year":"2017"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487442"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref66","year":"2018"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46520-3_8"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/2427376.2427384"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68951-5"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"ref1","article-title":"World robotic survey","year":"2016"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106299"},{"key":"ref95","article-title":"Verifiable task assignment and scheduling controller","author":"rothwell","year":"2017"},{"key":"ref108","first-page":"337","author":"shao","year":"2013","journal-title":"Spatio-Temporal Hybrid Automata for Cyber-Physical Systems"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.2514\/6.2013-4804"},{"key":"ref107","first-page":"1","article-title":"A spatial logic for concurrency","volume":"1","author":"cardelli","year":"2001","journal-title":"Proc Int Symp Theoretical Aspects Comput Softw"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27835-1_25"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45465-9_51"},{"key":"ref92","article-title":"Pattern recognition and machine learning","volume":"16","author":"nasrabadi","year":"2007","journal-title":"J Electron Imag"},{"key":"ref105","first-page":"271","article-title":"A topological data model for spatial databases","author":"egenhofer","year":"1989","journal-title":"Proc Symp Large Spatial Databases"},{"key":"ref91","first-page":"1820","article-title":"Software design patterns for robotics: Solving integration problems with marie","author":"c\u00f4t\u00e9","year":"2005","journal-title":"Proc Int Conf Robot Autom Workshop Robotic Softw Environ"},{"key":"ref104","first-page":"94","article-title":"Categorizing binary topological relations between regions, lines, and points in geographic databases","volume":"9","author":"egenhofer","year":"1990","journal-title":"The"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244327"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7618-4_4"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1597"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23820-3_2"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1109\/SASOW.2015.17"},{"key":"ref98","first-page":"207","author":"adam","year":"2014","journal-title":"Towards Rule-Based Dynamic Safety Monitoring for Mobile Robots"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2016.2613642"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-006-9013-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907489"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.104"},{"key":"ref13","first-page":"42","article-title":"A graphical property specification language","author":"lee","year":"1997","journal-title":"Proceedings of the IEEE High Assurance Systems Engineering Workshop"},{"key":"ref14","first-page":"14","article-title":"Events and constraints: A graphical editor for capturing logic requirements of programs","author":"smith","year":"2001","journal-title":"Proc 5th IEEE Int Symp Requirements Eng"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ROBIO.2013.6739543"},{"key":"ref118","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4_9"},{"key":"ref16","article-title":"Missionlab v7. 0","author":"arkin","year":"2006"},{"key":"ref82","year":"2019"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_75"},{"key":"ref17","article-title":"TeamBots","author":"balch","year":"2004"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960280"},{"key":"ref84","first-page":"364","article-title":"Synthesis of reactive (1) designs","author":"piterman","year":"2006","journal-title":"Proc Int Conf Verification Model Checking Abstract Interpretation"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976794"},{"key":"ref83","year":"2018"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00026"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref116","article-title":"Techniques for automatic verification of real-time systems","author":"alur","year":"1992"},{"key":"ref80","author":"robotics","year":"2018"},{"key":"ref115","article-title":"Fly-by-logic: A tool for unmanned aircraft system fleet planning using temporal logic","author":"mangharam","year":"2019","journal-title":"Proc NASA Formal Methods"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45416-0_18"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1999.777992"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43613-4_2"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38613-8_22"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9573514\/08859226.pdf?arnumber=8859226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T21:21:03Z","timestamp":1667510463000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8859226\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,1]]},"references-count":118,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tse.2019.2945329","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10,1]]}}}