{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T14:59:47Z","timestamp":1729609187600,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1109\/coase.2008.4626521","type":"proceedings-article","created":{"date-parts":[[2008,9,24]],"date-time":"2008-09-24T17:55:06Z","timestamp":1222278906000},"page":"772-777","source":"Crossref","is-referenced-by-count":3,"title":["Recycling controllers"],"prefix":"10.1109","author":[{"given":"Hadas","family":"Kress-Gazit","sequence":"first","affiliation":[]},{"given":"Nora","family":"Ayanian","sequence":"additional","affiliation":[]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[]},{"given":"Vijay","family":"Kumar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"17","DOI":"10.1109\/TRO.2007.913992"},{"year":"2008","author":"sa'ar","journal-title":"Java temporal logic verifier","key":"15"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/TRA.2002.807549"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/IRDS.2002.1041704"},{"key":"14","first-page":"364","article-title":"synthesis of reactive(l) designs","author":"piterman","year":"2006","journal-title":"VMCAI"},{"year":"0","author":"kvasnica","journal-title":"Multi-Parametric Toolbox (MPT)","key":"11"},{"key":"12","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":"Robotics Science and Systems"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/CDC.2004.1428674"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/MRA.2007.339624"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/ROBOT.2008.4543490"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2003.08.001","article-title":"a control problem for affine dynamical systems on a full-dimensional polytope","volume":"40","author":"habets","year":"2004","journal-title":"Automatica"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/IROS.2003.1249705"},{"year":"1987","author":"canny","journal-title":"The Complexity of Robot Motion Planning","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/IROS.2007.4398998"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1109\/M-RA.2007.914921","article-title":"courteous cars: decentralized multi-agent traffic coordination","author":"kress-gazit","year":"2008","journal-title":"Robotics and Automation Magazine"}],"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\/04626521.pdf?arnumber=4626521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T05:32:14Z","timestamp":1557811934000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4626521\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/coase.2008.4626521","relation":{},"subject":[],"published":{"date-parts":[[2008,8]]}}}