{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:20:51Z","timestamp":1762521651018,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iros.2013.6696435","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:10:53Z","timestamp":1389010253000},"page":"749-756","source":"Crossref","is-referenced-by-count":17,"title":["Guaranteeing reactive high-level behaviors for robots with complex dynamics"],"prefix":"10.1109","author":[{"given":"Jonathan A.","family":"DeCastro","sequence":"first","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":"Robust online motion planning with regions of finite time invariance","author":"majumdar","year":"2012","journal-title":"Proc of the Workshop on the Algorithmic Foundations of Robotics"},{"key":"17","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10009-007-0062-x","article-title":"Phaver: Algorithmic verification of hybrid systems past hytech","volume":"10","author":"frehse","year":"2008","journal-title":"Int J Softw Tools Technol Transf"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377825"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"16","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","article-title":"Safety verification of hybrid systems using barrier certificates","author":"prajna","year":"2004","journal-title":"Proc of the 4th Int Workshop on Hybrid Systems Computation and Control (HSCC'04)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942113"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2006.II.008","article-title":"Integrated planning and control for convex-bodied nonholonomic systems using local feedback control policies","author":"conner","year":"2006","journal-title":"Robotics Science and Systems"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428674"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2003.1249705"},{"journal-title":"Model Checking Cambridge","year":"1999","author":"clarke","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1177\/02783649922066385"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2002.804116"},{"journal-title":"Practical Methods for Optimal Control Using Nonlinear Programming 3 of Advances in Design and Control Philadelphia","year":"2001","author":"betts","key":"24"},{"journal-title":"Optimal Control Theory An Introduction","year":"1976","author":"kirk","key":"25"},{"journal-title":"SOSTOOLS Sum of squares optimization toolbox for Matlab","year":"2004","author":"prajna","key":"26"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1145\/1755952.1755968","article-title":"Receding horizon control for temporal logic specifications","author":"wongpiromsarn","year":"2010","journal-title":"Proc of the 13th Int Conf on Hybrid Systems Computation and Control (HSCC'10)"},{"key":"2","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1109\/CDC.2004.1428622","article-title":"Automatic synthesis of multiagent motion tasks based on ltl specifications","author":"loizou","year":"2004","journal-title":"Proc of the 43rd IEEE Conf on Decision and Control (CDC 2004)"},{"key":"1","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/11730637_26","article-title":"A fully automated framework for control of linear systems from ltl specifications","author":"kloetzer","year":"2006","journal-title":"Proc of the 9th Int Conf on Hybrid Systems Computation and Control HSCC'06 (Berlin Heidelberg)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2008.4626549"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400278"},{"journal-title":"Robust Hybrid Control for Autonomous Vehicle Motion Planning","year":"2001","author":"frazzoli","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980391"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225257"}],"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\/06696435.pdf?arnumber=6696435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T09:25:28Z","timestamp":1688894728000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6696435\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/iros.2013.6696435","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}