{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T10:01:09Z","timestamp":1756461669127,"version":"3.40.4"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/icra.2014.6907644","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T20:32:36Z","timestamp":1412109156000},"page":"5339-5344","source":"Crossref","is-referenced-by-count":7,"title":["Revision of specification automata under quantitative preferences"],"prefix":"10.1109","author":[{"given":"Kangjin","family":"Kim","sequence":"first","affiliation":[]},{"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_54"},{"key":"ref11","article-title":"Revising motion planning under linear temporal logic specifications in partially known workspaces","author":"guo","year":"2013","journal-title":"Proceedings of the IEEE Conference on Robotics and Automation"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1609\/icaps.v20i1.13421","article-title":"Coming up with good excuses: What to do when no plan can be found","author":"g\u00f6belbecker","year":"2010","journal-title":"Proceedings of the 20th International Conference on Automated Planning and Scheduling AAAI"},{"key":"ref13","first-page":"393401","article-title":"Choosing objectives in over-subscription planning","author":"smith","year":"2004","journal-title":"Proceedings of the 14th International Conference on Automated Planning and Scheduling"},{"key":"ref14","first-page":"562569","article-title":"Effective approaches for partial satisfaction (over-subscription) planning","author":"van den briel","year":"2004","journal-title":"Proceedings of the 19th National Conference on Artifical Intelligence"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6094884"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.10"},{"key":"ref18","first-page":"43","article-title":"The optimal path problem","volume":"19","author":"martins","year":"1999","journal-title":"Investigacao Operacional"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224826"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBIO.2013.6739543"},{"journal-title":"Proceedings of the IEEE Conference on Robotics and Automation","article-title":"Minimal specification revision for weighted transition systems","year":"2013","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6386215"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14726-0_14"},{"key":"ref7","article-title":"Minimum-violating planning with conflicting specifications","author":"tumova","year":"2013","journal-title":"American Control Conference"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"article-title":"Planning with qualitative temporal preferences","year":"0","author":"bienvenu","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.943479"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907644"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224792"},{"year":"0","key":"ref21"},{"key":"ref24","article-title":"Controlling wild bodies using linear temporal logic","author":"bobadilla","year":"2011","journal-title":"Proceedings of Robotics Science and Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5979895"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696978"}],"event":{"name":"2014 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2014,5,31]]},"location":"Hong Kong, China","end":{"date-parts":[[2014,6,7]]}},"container-title":["2014 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6895053\/6906581\/06907644.pdf?arnumber=6907644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T23:02:52Z","timestamp":1746399772000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6907644\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/icra.2014.6907644","relation":{},"subject":[],"published":{"date-parts":[[2014,5]]}}}