{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:04Z","timestamp":1750220884305,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,7]],"date-time":"2020-10-07T00:00:00Z","timestamp":1602028800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Centre of EXcellence on Connected, Geo-Localized and Cybersecure Vehicle (EX-Emerge), funded by Italian Government under CIPE resolution","award":["70\/2017"],"award-info":[{"award-number":["70\/2017"]}]},{"name":"European Research Council under the European Union's Horizon 2020 research and innovation programme","award":["694277"],"award-info":[{"award-number":["694277"]}]},{"name":"uropean Research Council under the European Union's Horizon 2020 research and innovation","award":["731869"],"award-info":[{"award-number":["731869"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,7]]},"DOI":"10.1145\/3372020.3391561","type":"proceedings-article","created":{"date-parts":[[2020,9,12]],"date-time":"2020-09-12T20:02:05Z","timestamp":1599940925000},"page":"55-65","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Mind the gap"],"prefix":"10.1145","author":[{"given":"Mehrnoosh","family":"Askarpour","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Belli","sequence":"additional","affiliation":[{"name":"Alten, Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcello M.","family":"Bersani","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[{"name":"Chalmers | University of Gothenburg and University of L'Aquila"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,7]]},"reference":[{"volume-title":"Robots and robotic devices - Safety requirements for industrial robots - Part 1: Robots","author":"ISO","key":"e_1_3_2_1_1_1"},{"volume-title":"Robots and robotic devices -Safety requirements for industrial robots - Part 2: Robot systems and integration","author":"ISO","key":"e_1_3_2_1_2_1"},{"volume-title":"Robots and robotic devices - Collaborative robots","author":"TS","key":"e_1_3_2_1_3_1"},{"volume-title":"Robotics - Safety design for industrial robot systems -Part 1: End-effectors","author":"TR","key":"e_1_3_2_1_4_1"},{"volume-title":"Robotics - Safety design for industrial robot systems -Part 2: Manual load\/unload stations","author":"TR","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"volume-title":"A theory of timed automata. Theoretical computer science 126, 2","year":"1994","author":"Alur Rajeev","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","first-page":"597","article-title":"Motion planning in multi-robot systems using timed automata","volume":"37","author":"Andersen Michael S.","year":"2004","journal-title":"IFAC"},{"volume-title":"Software Composition","author":"Bensalem Saddek","key":"e_1_3_2_1_9_1"},{"volume-title":"Ivano Malavolta, Patrizio Pelliccione, and Massimo Tivoli.","year":"2015","author":"Bozhinoski Darko","key":"e_1_3_2_1_10_1"},{"volume-title":"Software engineering for experimental robotics","author":"Brugali Davide","key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-68951-5"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160740"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225075"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3233\/AIS-150338"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799283"},{"volume-title":"Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems","author":"DeCastro Jonathan A.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34327-8_16"},{"volume-title":"Model Checking of a Mobile Robots Perpetual Exploration Algorithm","author":"Thu Doan Ha Thi","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","unstructured":"ENFORCE 2019. ENFORCE: formaly vErified plaNning soFtware fOr Real-world sCEnarios. https:\/\/github.com\/Askarpour\/ENFORCE  ENFORCE 2019. ENFORCE: formaly vErified plaNning soFtware fOr Real-world sCEnarios. https:\/\/github.com\/Askarpour\/ENFORCE"},{"key":"e_1_3_2_1_20_1","unstructured":"Formal Methods Europe. 2019. Formal Methods. http:\/\/www.fmeurope.org\/formalmethods\/  Formal Methods Europe. 2019. Formal Methods. http:\/\/www.fmeurope.org\/formalmethods\/"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98938-9_10"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Mohammed Foughali Bernard Berthomieu Silvano Dal-Zilio Pierre-Emmanuel Hladik F\u00e9lix Ingrand and Anthony Mallet. 2018. Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms. In Formal Methods in Software Engineering (FormaliSE).  Mohammed Foughali Bernard Berthomieu Silvano Dal-Zilio Pierre-Emmanuel Hladik F\u00e9lix Ingrand and Anthony Mallet. 2018. Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms. In Formal Methods in Software Engineering (FormaliSE).","DOI":"10.1145\/3193992.3193996"},{"volume-title":"High-Level Mission Specification for Multiple Robots. In Conference on Software Language Engineering (SLE). ACM.","year":"2019","author":"Garc\u00eda Sergio","key":"e_1_3_2_1_24_1"},{"volume-title":"Conference on Decision and Control. IEEE.","author":"Guo Meng","key":"e_1_3_2_1_25_1"},{"volume-title":"Karl Henrik Johansson, and Dimos V. Dimarogonas","year":"2013","author":"Guo Meng","key":"e_1_3_2_1_26_1"},{"volume-title":"International Conference on Robotics and Automation. IEEE.","author":"Guo Meng","key":"e_1_3_2_1_27_1"},{"volume-title":"Conference on Decision and Control. IEEE.","author":"Guo Meng","key":"e_1_3_2_1_28_1"},{"volume-title":"Conference on Decision and Control (CDC). IEEE.","author":"Guo Meng","key":"e_1_3_2_1_29_1"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Raju Halder Jos\u00e9 Proen\u00e7a Nuno Macedo and Andr\u00e9 Santos. 2017. Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. In Formal Methods in Software Engineering FormaliSE.  Raju Halder Jos\u00e9 Proen\u00e7a Nuno Macedo and Andr\u00e9 Santos. 2017. Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. In Formal Methods in Software Engineering FormaliSE.","DOI":"10.1109\/FormaliSE.2017.9"},{"key":"e_1_3_2_1_31_1","unstructured":"IFR. 2016. World Robotic Survey. https:\/\/ifr.org\/ifr-press-releases\/news\/world-robotics-survey-service-robots-are-conquering-the-world-.  IFR. 2016. World Robotic Survey. https:\/\/ifr.org\/ifr-press-releases\/news\/world-robotics-survey-service-robots-are-conquering-the-world-."},{"volume-title":"LTL Planning for Groups of Robots. In International Conference on Networking, Sensing and Control. IEEE.","year":"2006","author":"Kloetzer Marius","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.3182\/20070927-4-RO-3905.00019"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-012-4605-8"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342355"},{"volume-title":"Formal Methods","author":"Menghi Claudio","key":"e_1_3_2_1_39_1"},{"volume-title":"Carlo Ghezzi, and Thorsten Berger","year":"2019","author":"Menghi Claudio","key":"e_1_3_2_1_40_1"},{"key":"e_1_3_2_1_41_1","unstructured":"Alvaro Miyazawa Pedro Ribeiro Wei Li Ana Cavalcanti Jon Timmis and Jim Woodcock. 2019. RoboChart: modelling and verification of the functional behaviour of robotic applications. Software & Systems Modeling(2019) 1--53.  Alvaro Miyazawa Pedro Ribeiro Wei Li Ana Cavalcanti Jon Timmis and Jim Woodcock. 2019. RoboChart: modelling and verification of the functional behaviour of robotic applications. Software & Systems Modeling(2019) 1--53."},{"volume-title":"American Control Conference (ACC).","author":"Nikou Alexandros","key":"e_1_3_2_1_42_1"},{"volume-title":"American Control Conference (ACC).","author":"Nikou Alexandros","key":"e_1_3_2_1_43_1"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302413"},{"volume-title":"International Conference on Innovations in Information Technology (IIT).","author":"Rabiah E.","key":"e_1_3_2_1_45_1"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650896"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6579837"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.04.006"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942755"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6094884"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799278"},{"volume-title":"European Control Conference (ECC).","author":"Zhou Yuchen","key":"e_1_3_2_1_52_1"}],"event":{"name":"FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Seoul Republic of Korea","acronym":"FormaliSE '20"},"container-title":["Proceedings of the 8th International Conference on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372020.3391561","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372020.3391561","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:19Z","timestamp":1750203859000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372020.3391561"}},"subtitle":["Robotic Mission Planning Meets Software Engineering"],"short-title":[],"issued":{"date-parts":[[2020,10,7]]},"references-count":52,"alternative-id":["10.1145\/3372020.3391561","10.1145\/3372020"],"URL":"https:\/\/doi.org\/10.1145\/3372020.3391561","relation":{},"subject":[],"published":{"date-parts":[[2020,10,7]]},"assertion":[{"value":"2020-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}