{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,10]],"date-time":"2025-05-10T07:05:55Z","timestamp":1746860755284,"version":"3.32.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/robot.2005.1570852","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T23:42:54Z","timestamp":1137627774000},"page":"4739-4744","source":"Crossref","is-referenced-by-count":2,"title":["Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100"],"prefix":"10.1109","author":[{"family":"Moonzoo Kim","sequence":"first","affiliation":[]},{"family":"Kyo Chul Kang","sequence":"additional","affiliation":[]},{"family":"Hyoungki Lee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-60045-0_45","article-title":"Safety property verification of Esterel programs and applications to telecommunications software","volume":"939","author":"jagadeesan","year":"1995","journal-title":"Proc Int Conf Computer Aided Verification"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1023\/B:FORM.0000017719.43755.7c","article-title":"Javamac: A run-time assurance approach for java programs","author":"kim","year":"2004","journal-title":"Formal Methods in System Design"},{"key":"15","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-58043-3_19","article-title":"Verification Tools for Finite State Concurrent Systems","volume":"803","author":"clarke","year":"1993","journal-title":"A Decade of Concurrency&#x2014 Reflections and Perspectives"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"article-title":"The esterel v5 langauge primer version v5.91","year":"2000","author":"berry","key":"13"},{"article-title":"Xeve: An esterel verification environment","year":"2000","author":"bouali","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553596"},{"year":"2004","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1308783"},{"key":"2","article-title":"Architectural solutions to feature-interaction problems in telecommunications","volume":"5","author":"zave","year":"1998","journal-title":"Feature Interactions in Telecommunications Systems"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/35.229532"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5641.003.0021","article-title":"The foundations of esterel","author":"berry","year":"2000","journal-title":"Proof Language and Interaction Essays in Honour of Robin Milner"},{"key":"7","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1023\/A:1008740917111","article-title":"A comparative study of synthesis methods for discrete event controllers","volume":"15","author":"pinzon","year":"1999","journal-title":"Formal Methods in System Design"},{"key":"6","article-title":"Formal verification in robotics: Why and how?","author":"espiau","year":"1995","journal-title":"International Symposium on Robotics Research"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844041"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.1997.655107"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1177\/027836499801700403"}],"event":{"name":"2005 IEEE International Conference on Robotics and Automation","location":"Barcelona, Spain"},"container-title":["Proceedings of the 2005 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10495\/33250\/01570852.pdf?arnumber=1570852","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T06:28:21Z","timestamp":1736231301000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1570852\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/robot.2005.1570852","relation":{},"subject":[]}}