{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:48:50Z","timestamp":1764053330214},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iros.2013.6697048","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:10:53Z","timestamp":1389010253000},"page":"4796-4802","source":"Crossref","is-referenced-by-count":9,"title":["Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments"],"prefix":"10.1109","author":[{"family":"Gangyuan Jing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudiger","family":"Ehlers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Receding horizon control for temporal logic specifications","author":"wongpiromsarn","year":"2010","journal-title":"13th International Conference on Hybrid Systems Computation and Control"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1109\/IROS.2010.5650896"},{"key":"18","article-title":"Optimal control with weighted average costs and temporal logic specifications","author":"wolff","year":"2012","journal-title":"Robotics Science and Systems"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/TRO.2009.2030225"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1007\/978-1-4612-0931-7"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/ROBOT.2007.363946"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1109\/IROS.2007.4398998"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/TAC.2007.914952"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1016\/0304-3975(82)90125-6"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/ROBOT.2010.5509503"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/CDC.2010.5717440"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/MRA.2007.339624"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/CDC.2008.4739370"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/IROS.2010.5650371"},{"key":"6","first-page":"995","article-title":"Temporal and modal logic","author":"emerson","year":"1995","journal-title":"Handbook of Theoretical Computer Science"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"4","first-page":"140","article-title":"Better quality in synthesis through quantitative objectives","author":"bloem","year":"2009","journal-title":"CAV Volume 5643 of LNCS"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1002\/rnc.1715"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/ICRA.2013.6631357"}],"event":{"name":"2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2013)","start":{"date-parts":[[2013,11,3]]},"location":"Tokyo","end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6679723\/6696319\/06697048.pdf?arnumber=6697048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T14:40:19Z","timestamp":1490193619000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6697048\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iros.2013.6697048","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}