{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:20:34Z","timestamp":1725708034935},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/robot.2010.5509402","type":"proceedings-article","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T12:07:20Z","timestamp":1279800440000},"page":"3215-3220","source":"Crossref","is-referenced-by-count":15,"title":["Automatic synthesis of robot controllers for tasks with locative prepositions"],"prefix":"10.1109","author":[{"given":"Hadas","family":"Kress-Gazit","sequence":"first","affiliation":[]},{"given":"George J","family":"Pappas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Automatic synthesis of multi-agent motion tasks based on ltI specifications","author":"loizou","year":"2004","journal-title":"IEEE Conference on Decision and Control"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152776"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"journal-title":"Transforming High Level Tasks to Low Level Controllers","year":"2008","author":"kress-gazit","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2004.826273"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008384416604"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0903_3"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3115\/1621431.1621432"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ROMAN.2002.1045626"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LAB-RS.2008.14"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"article-title":"Language and Learning for Robots","year":"1994","author":"crangle","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399576"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2006.282259"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152605"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3115\/1220175.1220269"},{"journal-title":"Multi-Parametric Toolbox (MPT)","year":"2004","author":"kvasnica","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"journal-title":"The TLV system and its applications","year":"1996","author":"pnueli","key":"ref23"}],"event":{"name":"2010 IEEE International Conference on Robotics and Automation (ICRA 2010)","start":{"date-parts":[[2010,5,3]]},"location":"Anchorage, AK","end":{"date-parts":[[2010,5,7]]}},"container-title":["2010 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5501116\/5509124\/05509402.pdf?arnumber=5509402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T19:27:48Z","timestamp":1489865268000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5509402\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/robot.2010.5509402","relation":{},"subject":[],"published":{"date-parts":[[2010,5]]}}}