{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:07:09Z","timestamp":1760828829930},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1109\/iros.2007.4398998","type":"proceedings-article","created":{"date-parts":[[2008,1,9]],"date-time":"2008-01-09T14:23:35Z","timestamp":1199888615000},"page":"2717-2722","source":"Crossref","is-referenced-by-count":31,"title":["From structured english to robot motion"],"prefix":"10.1109","author":[{"given":"Hadas","family":"Kress-Gazit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios E.","family":"Fainekos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Structured english for model checking specification","author":"flake","year":"2000","journal-title":"GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen in Frankfurt"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3115\/1034678.1034747"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2006.1641832"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2005.29"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ROMAN.2002.1045626"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2006.II.027","article-title":"Computing smooth feedback plans over cylindrical algebraic decompositions","author":"lindemann","year":"2006","journal-title":"Proceedings of Robotics Science and Systems"},{"key":"ref18","first-page":"49","article-title":"Programming robots using high-level task descriptions","author":"martignoni","year":"2004","journal-title":"Proceedings of the AAAI Workshop on Supervisory Control of Learning and Adaptive Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2006.282258"},{"key":"ref4","article-title":"Towards provable navigation and control of nonholonomically constrained convex-bodied systems","author":"conner","year":"2006","journal-title":"Proceedings of the 2006 IEEE International Conference on Robotics and Automation (ICRA '06)"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2003.1249705"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399374"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_18"},{"journal-title":"Principles of Robot Motion Theory Algorithms and Implementations","year":"2005","author":"choset","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428674"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/3468.952716"},{"key":"ref22","article-title":"Controlled language for knowledge representation","author":"pulman","year":"1996","journal-title":"Proceedings of the 1st International Workshop on Controlled Language Applications"},{"key":"ref21","first-page":"364","article-title":"Synthesis of Reactive(1) Designs","author":"piterman","year":"2006","journal-title":"VMCAI"},{"key":"ref23","article-title":"Bringing together human and robotics environmental representations\/a pilot study","author":"topp","year":"2006","journal-title":"Proc IEEE\/RSJ Intl Conf on Intell Robots and Systems (IROS-06)"}],"event":{"name":"2007 IEEE\/RSJ International Conference on Intelligent Robots and Systems","start":{"date-parts":[[2007,10,29]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2007,11,2]]}},"container-title":["2007 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4398943\/4398944\/04398998.pdf?arnumber=4398998","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T14:49:55Z","timestamp":1557154195000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4398998\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iros.2007.4398998","relation":{},"subject":[],"published":{"date-parts":[[2007,10]]}}}