{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:50:23Z","timestamp":1765547423712,"version":"3.40.5"},"reference-count":0,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,4,14]],"date-time":"2025-04-14T00:00:00Z","timestamp":1744588800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,14]],"date-time":"2025-04-14T00:00:00Z","timestamp":1744588800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100018693","name":"Horizon Europe","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100018693","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,4,14]]},"DOI":"10.1109\/simpar62925.2025.10979077","type":"proceedings-article","created":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T17:38:54Z","timestamp":1747071534000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Model-based Verification and Monitoring for Safe and Responsive Robots"],"prefix":"10.1109","author":[{"given":"S.","family":"Bernagozzi","sequence":"first","affiliation":[{"name":"Istituto Italiano di Tecnologia,Genova,Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Faraci","sequence":"additional","affiliation":[{"name":"Istituto Italiano di Tecnologia,Genova,Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Ghiorzi","sequence":"additional","affiliation":[{"name":"Università di Genova,Genova,Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Pedemonte","sequence":"additional","affiliation":[{"name":"Università di Genova,Genova,Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Ferrando","sequence":"additional","affiliation":[{"name":"Università di Modena e Reggio Emilia,Modena,Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Natale","sequence":"additional","affiliation":[{"name":"Istituto Italiano di Tecnologia,Genova,Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Tacchella","sequence":"additional","affiliation":[{"name":"Università di Genova,Genova,Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","event":{"name":"2025 International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)","location":"Palermo, Italy","start":{"date-parts":[[2025,4,14]]},"end":{"date-parts":[[2025,4,18]]}},"container-title":["2025 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10978974\/10978989\/10979077.pdf?arnumber=10979077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T17:38:55Z","timestamp":1747071535000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10979077\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,14]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/simpar62925.2025.10979077","relation":{},"subject":[],"published":{"date-parts":[[2025,4,14]]}}}