{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:56Z","timestamp":1760202656693,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icra.2013.6631293","type":"proceedings-article","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T18:11:25Z","timestamp":1382379085000},"page":"5011-5018","source":"Crossref","is-referenced-by-count":21,"title":["Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications"],"prefix":"10.1109","author":[{"given":"Tichakorn","family":"Wongpiromsarn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alphan","family":"Ulusoy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilio","family":"Frazzoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Rus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"399","article-title":"Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction","author":"hill","year":"2006","journal-title":"Proc 6th Int Workshop Discrete Event Systems"},{"key":"22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/8490.001.0001","author":"mitchell","year":"2010","journal-title":"Reinventing the Automobile Personal Urban Mobility for the 21st Century"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426346"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.45"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824795"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958249"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.22"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6385575"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6094711"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160740"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"12","article-title":"LTL control in uncertain environments with probabilistic satisfaction guarantees","author":"ding","year":"2011","journal-title":"IFAC World Congress"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.07.022"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"20","first-page":"908","article-title":"A dynamic programming approach to multi-level supervision","author":"seow","year":"2009","journal-title":"IEEE International Conference on Robotics and Automation (ICRA)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400278"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2011.6083056"},{"key":"4","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/MRA.2011.942116","article-title":"Correct, reactive robot control from abstraction and temporal logic specifications","volume":"18","author":"kress-gazit","year":"2011","journal-title":"Special Issue of the IEEE Robotics & Automation Magazine on Formal Methods for Robotics and Automation"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399374"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"}],"event":{"name":"2013 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2013,5,6]]},"location":"Karlsruhe, Germany","end":{"date-parts":[[2013,5,10]]}},"container-title":["2013 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6615630\/6630547\/06631293.pdf?arnumber=6631293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,30]],"date-time":"2019-07-30T22:08:45Z","timestamp":1564524525000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6631293\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icra.2013.6631293","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}