{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:58:48Z","timestamp":1729630728304,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/med.2016.7536071","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T18:39:51Z","timestamp":1471286391000},"page":"1008-1013","source":"Crossref","is-referenced-by-count":8,"title":["Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination"],"prefix":"10.1109","author":[{"given":"Jin","family":"Dai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Benini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos J.","family":"Antsaklis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew J.","family":"Rutherford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kimon P.","family":"Valavanis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TRO.2009.2030225"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1016\/j.automatica.2011.01.078"},{"key":"ref12","first-page":"48","article-title":"Automatic deployment of distributed teams of robots from temporal logic motion specifications","volume":"53","author":"kloetzer","year":"2008","journal-title":"IEEE Trans Autom Control"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1177\/1548512910388197","article-title":"Enabling intelligent unmanned vehicles through XMOS Technology","volume":"9","author":"goncalo","year":"2012","journal-title":"The Journal of Defense Modeling and Simulation Applications Methodology Technology"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/TAC.2005.864190"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/TAC.2004.834113"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s10703-008-0049-6","article-title":"Learning to divide and conquer: applying the L* algorithm to automate assume- guarantee reasoning","volume":"32","author":"p?s?reanu","year":"2008","journal-title":"Formal Methods Syst Des"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1137\/0325013"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/j.automatica.2016.04.006"},{"key":"ref19","article-title":"Intelligent robotic systems: theory, design and applications","volume":"182","author":"valavanis","year":"2012"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/CDC.2014.7040356"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/TRO.2011.2163434"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/MRA.2011.942117"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/TAC.2007.895897"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/j.patcog.2014.01.005"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1016\/j.automatica.2008.08.008"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/978-0-387-68612-7"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref9","first-page":"3116","article-title":"Wheres Waldo? Sensor-based temporal logic motion planning","author":"kress-gazit","year":"0","journal-title":"Proc IEEE Int Conf Robot Autom"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1080\/00207179108934202"}],"event":{"name":"2016 24th Mediterranean Conference on Control and Automation (MED)","start":{"date-parts":[[2016,6,21]]},"location":"Athens, Greece","end":{"date-parts":[[2016,6,24]]}},"container-title":["2016 24th Mediterranean Conference on Control and Automation (MED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7527573\/7535838\/07536071.pdf?arnumber=7536071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:45:50Z","timestamp":1498322750000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7536071\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/med.2016.7536071","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}