{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:19:37Z","timestamp":1773245977655,"version":"3.50.1"},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T00:00:00Z","timestamp":1259625600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Robot."],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1109\/tro.2009.2030225","type":"journal-article","created":{"date-parts":[[2009,9,16]],"date-time":"2009-09-16T16:57:03Z","timestamp":1253120223000},"page":"1370-1381","source":"Crossref","is-referenced-by-count":603,"title":["Temporal-Logic-Based Reactive Mission and Motion Planning"],"prefix":"10.1109","volume":"25","author":[{"given":"H.","family":"Kress-Gazit","sequence":"first","affiliation":[]},{"given":"G.E.","family":"Fainekos","sequence":"additional","affiliation":[]},{"given":"G.J.","family":"Pappas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399374"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref32","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref31","author":"milner","year":"0","journal-title":"Communication and Concurrency"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/70.163777"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363944"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"21","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"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref10","article-title":"computing smooth feedback plans over cylindrical algebraic decompositions","author":"lindemann","year":"2006","journal-title":"presented at the Robot Sci Syst"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"ref13","first-page":"364","article-title":"synthesis of reactive(1) designs","author":"piterman","year":"2006","journal-title":"Proc of VMCAI"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1988.12107"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1416-8_6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271663"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2008.919022"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.852260"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.878280"},{"key":"ref28","first-page":"450","article-title":"controller synthesis for mtl specifications","author":"bouyer","year":"2006","journal-title":"Concurrency"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/LICS.2001.932504","article-title":"from verification to control: dynamic programs for omega-regular objectives","author":"alfaro","year":"2001","journal-title":"Proc 11th Annu Symp Logic in Computer Science"},{"key":"ref3","author":"russell","year":"2003","journal-title":"Artificial Intelligence A Modern Approach"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2003.1249705"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref9","article-title":"integrated planning and control for convex-bodied nonholonomic systems using local feedback control policies","author":"conner","year":"2006","journal-title":"presented at the Robot Sci Syst"},{"key":"ref1","author":"choset","year":"2005","journal-title":"Principles of Robot Motion Theory Algorithms and Implementations"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428674"},{"key":"ref22","author":"ramamoorthy","year":"0","journal-title":"Proc International Workshop on Qualitative Reasoning (QR-2004)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582713"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1995.525480"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"ref26","article-title":"logic-based design and synthesis of controllers for hybrid systems","author":"davoren","year":"2000"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/3-540-45351-2_35","article-title":"robust controller synthesis for hybrid systems using modal logic","author":"moor","year":"2001","journal-title":"Hybrid Systems Computation and Control"}],"container-title":["IEEE Transactions on Robotics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8860\/5338866\/05238617.pdf?arnumber=5238617","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:52:24Z","timestamp":1633909944000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5238617\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":38,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tro.2009.2030225","relation":{},"ISSN":["1552-3098","1941-0468"],"issn-type":[{"value":"1552-3098","type":"print"},{"value":"1941-0468","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12]]}}}