{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:57:06Z","timestamp":1725613026619},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/icar.2013.6766560","type":"proceedings-article","created":{"date-parts":[[2014,3,20]],"date-time":"2014-03-20T14:58:11Z","timestamp":1395327491000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and synthesis of controllers for Multi-Robot Systems using game structures"],"prefix":"10.1109","author":[{"given":"Jose Gilmar Nunes","family":"de Carvalho Filho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marie Alexandre","family":"Farines","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose Eduardo Ribeiro","family":"Cury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"journal-title":"Modelagem e S?ntese Para Coordenac Ao de Sistemas Multi-Robos Baseada Numa Estrutura de Jogo","year":"2012","author":"filho","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"7","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","article-title":"On the synthesis of discrete controllers for timed systems","author":"maler","year":"1995","journal-title":"STACS 95"},{"key":"6","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/BFb0058022","article-title":"Model checking","author":"clarke","year":"1997","journal-title":"Foundations of Software Technology and Theoretical Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"9","first-page":"364","article-title":"Synthesis of reactive (1) designs","author":"piterman","year":"2006","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.01.006"},{"key":"11","article-title":"Modelagem de Sistemas Multi-Robos para S?ntese de Controladores Utilizando Estrutura de Jogo","author":"carvalho filho","year":"2012","journal-title":"CBA 2012"}],"event":{"name":"2013 16th International Conference on Advanced Robotics (ICAR 2013)","start":{"date-parts":[[2013,11,25]]},"location":"Montevideo, Uruguay","end":{"date-parts":[[2013,11,29]]}},"container-title":["2013 16th International Conference on Advanced Robotics (ICAR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6755997\/6766447\/06766560.pdf?arnumber=6766560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T06:00:33Z","timestamp":1498111233000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6766560\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/icar.2013.6766560","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}