{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T09:35:51Z","timestamp":1730194551727,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/acssc.2015.7421315","type":"proceedings-article","created":{"date-parts":[[2016,2,29]],"date-time":"2016-02-29T16:19:04Z","timestamp":1456762744000},"page":"1125-1129","source":"Crossref","is-referenced-by-count":13,"title":["Intermittent connectivity control in mobile robot networks"],"prefix":"10.1109","author":[{"given":"Yiannis","family":"Kantaros","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael M.","family":"Zavlanos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039362"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160740"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2008.4543239"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717014"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509175"},{"key":"ref17","article-title":"An automata-theoretic approach to automatic program verification","author":"vardi","year":"1986","journal-title":"1st Symposium in Logic in Computer Science (LICS)"},{"key":"ref18","first-page":"240","article-title":"Motion and action planning under ltl specifications using navigation functions and action description language","author":"guo","year":"2013","journal-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"},{"key":"ref19","first-page":"2758","article-title":"Reconfiguration in motion planning of single-and multi-agent systems under infeasible local ltl specifications","author":"guo","year":"2013","journal-title":"IEEE 52nd Annual Conference on Decision and Control (CDC)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2008.2006233"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161077"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2203215"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2157884"},{"key":"ref8","volume":"26202649","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2012.2188163"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2007.900642"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.861710"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref9"}],"event":{"name":"2015 49th Asilomar Conference on Signals, Systems and Computers","start":{"date-parts":[[2015,11,8]]},"location":"Pacific Grove, CA, USA","end":{"date-parts":[[2015,11,11]]}},"container-title":["2015 49th Asilomar Conference on Signals, Systems and Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7405775\/7421038\/07421315.pdf?arnumber=7421315","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T13:27:12Z","timestamp":1490102832000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7421315\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/acssc.2015.7421315","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}