{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:13:31Z","timestamp":1725563611504},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/iros.2015.7353864","type":"proceedings-article","created":{"date-parts":[[2015,12,17]],"date-time":"2015-12-17T16:52:55Z","timestamp":1450371175000},"page":"3493-3499","source":"Crossref","is-referenced-by-count":1,"title":["Online horizon selection in receding horizon temporal logic planning"],"prefix":"10.1109","author":[{"given":"Vasumathi","family":"Raman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mattias","family":"Falt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tichakorn","family":"Wongpiromsarn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard M.","family":"Murray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"3116","DOI":"10.1109\/ROBOT.2007.363946","article-title":"Where's waldo? sensor-based temporal logic motion planning","author":"kress-gazit","year":"2007","journal-title":"Robotics and Automation 2007 IEEE International Conference on Apr 2007"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562137"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631298"},{"key":"ref13","first-page":"149","article-title":"Online control customization via optimization-based control","author":"murray","year":"2002","journal-title":"Software-Enabled Control Information Technology for Dynamical Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref17","first-page":"239","article-title":"Reactive synthesis from signal temporal logic specifications","author":"raman","year":"2015","journal-title":"Proceedings of the 18th International Conference on Hybrid Systems Computation and Control HSCC'15"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353864"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399374"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.11.030"},{"key":"ref8","first-page":"343","article-title":"Temporal logic model predictive control for discrete-time systems","author":"gol","year":"2013","journal-title":"Proceedings of the 16th International Conference on Hybrid Systems Computation and Control HSCC 2013 April 8–11 2013"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"}],"event":{"name":"2015 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2015,9,28]]},"location":"Hamburg, Germany","end":{"date-parts":[[2015,10,2]]}},"container-title":["2015 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7347169\/7353104\/07353864.pdf?arnumber=7353864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T21:55:59Z","timestamp":1498254959000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7353864\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iros.2015.7353864","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}