{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T14:47:37Z","timestamp":1773154057483,"version":"3.50.1"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/iros.2014.6942755","type":"proceedings-article","created":{"date-parts":[[2014,11,12]],"date-time":"2014-11-12T17:48:34Z","timestamp":1415814514000},"page":"1503-1510","source":"Crossref","is-referenced-by-count":22,"title":["Maximally satisfying LTL action planning"],"prefix":"10.1109","author":[{"given":"Jana","family":"Tumova","sequence":"first","affiliation":[]},{"given":"Alejandro","family":"Marzinotto","sequence":"additional","affiliation":[]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[]},{"given":"Danica","family":"Kragic","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"Simple on-thefly automatic verification of linear temporal logic","author":"gerth","year":"1995","journal-title":"Proceedings of the Fifteenth IFIP WG6 1 International Symposium on Protocol Specification Testing and Verification IFIP"},{"key":"17","first-page":"353","article-title":"Iterative temporal motion planning for hybrid systems in partially unknown environments","author":"maly","year":"2013","journal-title":"Proceedings of the 16th International Conference on Hybrid Systems Computation and Control (HSCC) ACM"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6386215"},{"key":"15","first-page":"1","article-title":"Leastviolating control strategy synthesis with safety rules","author":"tumova","year":"2013","journal-title":"Proceedings of the 16th International Conference on Hybrid Systems Computation and Control (HSCC) ACM"},{"key":"16","doi-asserted-by":"crossref","first-page":"3217","DOI":"10.1109\/CDC.2013.6760374","article-title":"Incremental sampling-based algorithm for minimumviolation motion planning","author":"castro","year":"2013","journal-title":"Proceedings of the IEEE Conference on Decision and Control (CDC)"},{"key":"13","author":"marzinotto","year":"2013","journal-title":"Behavior Trees Library for the Robot Operating System (ROS)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363945"},{"key":"11","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-540-24756-2_8","article-title":"State\/event-based software model checking","author":"chaki","year":"2004","journal-title":"Integrated Formal Methods Springer"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907656"},{"key":"21","author":"leiserson","year":"2001","journal-title":"Introduction to Algorithms"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"20","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/978-3-540-31980-1_32","article-title":"Shortest counterexamples for symbolic model checking of LTL with past","volume":"3440","author":"schuppan","year":"2005","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems Ser Lecture Notes in Computer Science"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"10","first-page":"5010","article-title":"Revising motion planning under linear temporal logic specifications in partially known workspaces","author":"guo","year":"2013","journal-title":"Proceedings of the IEEE International Conference on Robotics and Automation (ICRA)"},{"key":"7","first-page":"240","article-title":"Motion and action planning under LTL specifications using navigation functions and action description language","author":"guo","year":"2013","journal-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760371"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942115"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225257"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2010.2047820"}],"event":{"name":"2014 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2014)","location":"Chicago, IL, USA","start":{"date-parts":[[2014,9,14]]},"end":{"date-parts":[[2014,9,18]]}},"container-title":["2014 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6926644\/6942370\/06942755.pdf?arnumber=6942755","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T04:41:59Z","timestamp":1566016919000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6942755\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iros.2014.6942755","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}