{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:25Z","timestamp":1750306525870,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":3,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,3,2]],"date-time":"2015-03-02T00:00:00Z","timestamp":1425254400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Partly supported by the European Commission","award":["Contract FP7-ICT-600877 (SPENCER)"],"award-info":[{"award-number":["Contract FP7-ICT-600877 (SPENCER)"]}]},{"name":"Part of this work was funded by the ESA\/ESTEC GOAC project and by the FNRAE MARAE project."}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,3,2]]},"DOI":"10.1145\/2701973.2702098","type":"proceedings-article","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T14:15:23Z","timestamp":1425392123000},"page":"281-281","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A Verifiable and Correct-by-Construction Controller for Robots in Human Environments"],"prefix":"10.1145","author":[{"given":"Lavindra","family":"de Silva","sequence":"first","affiliation":[{"name":"University of Nottingham, Nottingham, United Kingdom"}]},{"given":"Rongjie","family":"Yan","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences, Beijing, China"}]},{"given":"Felix","family":"Ingrand","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"Rachid","family":"Alami","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[{"name":"Grenoble I University, Grenoble, France"}]}],"member":"320","published-online":{"date-parts":[[2015,3,2]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1177\/027836499801700402"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_7"}],"event":{"name":"HRI '15: ACM\/IEEE International Conference on Human-Robot Interaction","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","RA IEEE Robotics and Automation Society","SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Portland Oregon USA","acronym":"HRI '15"},"container-title":["Proceedings of the Tenth Annual ACM\/IEEE International Conference on Human-Robot Interaction Extended Abstracts"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2701973.2702098","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:05Z","timestamp":1750227125000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2701973.2702098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,2]]},"references-count":3,"alternative-id":["10.1145\/2701973.2702098","10.1145\/2701973"],"URL":"https:\/\/doi.org\/10.1145\/2701973.2702098","relation":{},"subject":[],"published":{"date-parts":[[2015,3,2]]},"assertion":[{"value":"2015-03-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}