{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,17]],"date-time":"2025-12-17T17:51:07Z","timestamp":1765993867459},"reference-count":23,"publisher":"Informa UK Limited","issue":"12","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Advanced Robotics"],"published-print":{"date-parts":[[2008,1]]},"DOI":"10.1163\/156855308x344864","type":"journal-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T00:29:26Z","timestamp":1223339366000},"page":"1343-1359","source":"Crossref","is-referenced-by-count":90,"title":["Translating Structured English to Robot Controllers"],"prefix":"10.1080","volume":"22","author":[{"given":"Hadas","family":"Kress-Gazit","sequence":"first","affiliation":[{"name":"a GRASP Laboratory, University of Pennsylvania, Philadelphia, PA 19104, USA"}]},{"given":"Georgios E.","family":"Fainekos","sequence":"additional","affiliation":[{"name":"b GRASP Laboratory, University of Pennsylvania, Philadelphia, PA 19104, USA"}]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[{"name":"c GRASP Laboratory, University of Pennsylvania, Philadelphia, PA 19104, USA"}]}],"member":"301","published-online":{"date-parts":[[2012,4,2]]},"reference":[{"key":"CIT0001","volume-title":"Principles of Robot Motion: Theory, Algorithms, and Implementations","author":"Choset H.","year":"2005"},{"key":"CIT0002","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511546877","volume-title":"Planning Algorithms","author":"LaValle S. M.","year":"2006"},{"key":"CIT0003","first-page":"467","volume-title":"Proc. IEEE Conf. on Decision and Control","author":"Belta C.","year":"2004"},{"key":"CIT0004","first-page":"57","volume-title":"Proc. IEEE Int. Conf. on Robotics and Automation","author":"Conner D. C.","year":"2006"},{"key":"CIT0005","first-page":"3546","volume-title":"Proc. IEEE\/RSJ Int. Conf. on Intelligent Robots and Systems","author":"Conner D. C.","year":"2003"},{"key":"CIT0006","first-page":"207","volume-title":"Proc. Robotics: Science and Systems","author":"Lindemann S.","year":"2006"},{"key":"CIT0007","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999"},{"key":"CIT0008","doi-asserted-by":"crossref","first-page":"4885","DOI":"10.1109\/CDC.2005.1582935","volume-title":"Proc. IEEE Conf. on Decision and Control","author":"Fainekos G. E.","year":"2005"},{"key":"CIT0009","first-page":"2020","volume-title":"Proc. IEEE Int. Conf. on Robotics and Automation","author":"Fainekos G. E.","year":"2005"},{"key":"CIT0010","first-page":"952","volume-title":"Proc. IEEE Int. Conf. on Robotics and Automation","author":"Kloetzer M.","year":"2006"},{"key":"CIT0011","first-page":"3116","volume-title":"Proc. IEEE Int. Conf. on Robotics and Automation","author":"Kress-Gazit H.","year":"2007"},{"key":"CIT0012","first-page":"364","volume-title":"Proc. VMCAI","author":"Piterman N.","year":"2006"},{"key":"CIT0013","first-page":"233","volume-title":"Proc. 1st Int. Workshop on Controlled Language Applications","author":"Pulman S.","year":"1996"},{"key":"CIT0014","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/ROMAN.2002.1045626","volume-title":"Proc. IEEE Int. Workshop on Robot and Human Interactive Communication","author":"Lauria S.","year":"2002"},{"key":"CIT0015","first-page":"49","volume-title":"Proc. AAAI Workshop on Supervisory Control of Learning and Adaptive Systems","author":"Martignoni A. J.","year":"2004"},{"key":"CIT0016","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1109\/3468.952716","volume":"31","author":"Nicolescu M.","year":"2001","journal-title":"IEEE Trans. Syst. Man Cybernet. B"},{"key":"CIT0017","doi-asserted-by":"crossref","first-page":"451","DOI":"10.3115\/1034678.1034747","volume-title":"Proc. 37th Annu. Meet. of the Association for Computational Linguistics on Computational Linguistics","author":"Holt A.","year":"1999"},{"key":"CIT0018","first-page":"329","volume-title":"Proc. IEEE Int. Requirements Engineering Conf","author":"Konrad S.","year":"2005"},{"key":"CIT0019","first-page":"4946","volume-title":"Proc. IEEE\/RSJ Int. Conf. on Intelligent Robots and Systems","author":"Topp E. A.","year":"2006"},{"key":"CIT0020","first-page":"3","volume-title":"Proc. IEEE\/RSJ Int. Conf. on Intelligent Robots and Systems","author":"Mavridis N.","year":"2006"},{"key":"CIT0021","first-page":"2547","volume-title":"Proc. GI-Workshop Methoden und Beschreibungssprachen zurModellierung und Verifikation von Schaltungen und Systemen","author":"Flake S.","year":"2000"},{"key":"CIT0022","first-page":"572","volume-title":"Proc. IEEE\/RSJ Int. Conf. on Intelligent Robots and Systems","author":"Conner D. C.","year":"2007"},{"key":"CIT0023","series-title":"(LNCS 4416)","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/978-3-540-71493-4_18","volume-title":"Hybrid Systems: Computation and Control","author":"Fainekos G. E.","year":"2007"}],"container-title":["Advanced Robotics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1163\/156855308X344864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T12:52:40Z","timestamp":1557838360000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1163\/156855308X344864"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1]]},"references-count":23,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2012,4,2]]},"published-print":{"date-parts":[[2008,1]]}},"alternative-id":["10.1163\/156855308X344864"],"URL":"https:\/\/doi.org\/10.1163\/156855308x344864","relation":{},"ISSN":["0169-1864","1568-5535"],"issn-type":[{"value":"0169-1864","type":"print"},{"value":"1568-5535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,1]]}}}