{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:16:20Z","timestamp":1759331780422,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/iros.2015.7353862","type":"proceedings-article","created":{"date-parts":[[2015,12,17]],"date-time":"2015-12-17T16:52:55Z","timestamp":1450371175000},"page":"3478-3485","source":"Crossref","is-referenced-by-count":18,"title":["Synthesizing cooperative reactive mission plans"],"prefix":"10.1109","author":[{"given":"Rudiger","family":"Ehlers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Konighofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roderick","family":"Bloem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Dynamics-based reactive synthesis and automated revisions for high-level robot control","volume":"abs 1410 6375","author":"decastro","year":"2014","journal-title":"CoRR"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ICRA.2015.7139021"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.4204\/EPTCS.157.7"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/978-3-319-24953-7_29"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/SFCS.1977.32"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/ICRA.2012.6225208"},{"key":"ref16","first-page":"2013","article-title":"Slugs GR(1) synthesizer","author":"ehlers","year":"0"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/DAC.1985.1586017"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/IROS.2010.5650371"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/ICRA.2014.6907487"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref6","first-page":"652","article-title":"On the synthesis of an asynchronous reactive module","volume":"372","author":"pnueli","year":"1989","journal-title":"Automata Languages and Programming 16th International Colloquium ICALP89 Stresa Italy July 11&#x2013;15 1989 Proceedings"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/CDC.2010.5717316"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1002\/(SICI)1097-4563(199910)16:10<557::AID-ROB3>3.0.CO;2-H"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/ICAR.1997.620233"},{"key":"ref2","first-page":"101","article-title":"Receding horizon control for temporal logic specifications","author":"wongpiromsarn","year":"2010","journal-title":"Proceedings of the 13th ACM International Conference on Hybrid Systems Computation and Control HSCC 2010 Stockholm Sweden April 12&#x2013;15 2010"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/TRO.2009.2030225"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1177\/0278364914546174"}],"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\/07353862.pdf?arnumber=7353862","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T21:18:35Z","timestamp":1490390315000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7353862\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/iros.2015.7353862","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}