{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:18:48Z","timestamp":1760548728593},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1109\/coase.2008.4626549","type":"proceedings-article","created":{"date-parts":[[2008,9,24]],"date-time":"2008-09-24T13:55:06Z","timestamp":1222264506000},"page":"766-771","source":"Crossref","is-referenced-by-count":20,"title":["Automatically synthesizing a planning and control subsystem for the DARPA urban challenge"],"prefix":"10.1109","author":[{"given":"Hadas","family":"Kress-Gazit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399374"},{"journal-title":"Principles of Robot Motion Theory Algorithms and Implementations","year":"2005","author":"choset","key":"2"},{"key":"10","first-page":"364","article-title":"synthesis of reactive(l) designs","author":"piterman","year":"2006","journal-title":"VMCAI"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4398998"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"journal-title":"Urban challenge documentation","year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377631"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"}],"event":{"name":"2008 IEEE International Conference on Automation Science and Engineering (CASE 2008)","start":{"date-parts":[[2008,8,23]]},"location":"Arlington, VA","end":{"date-parts":[[2008,8,26]]}},"container-title":["2008 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4622934\/4626395\/04626549.pdf?arnumber=4626549","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T11:27:29Z","timestamp":1489750049000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4626549\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/coase.2008.4626549","relation":{},"subject":[],"published":{"date-parts":[[2008,8]]}}}