{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:01:01Z","timestamp":1729648861086,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7798525","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T12:11:18Z","timestamp":1483618278000},"page":"1794-1799","source":"Crossref","is-referenced-by-count":10,"title":["Simultaneous intermittent communication control and path optimization in networks of mobile robots"],"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.2011.6160740"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2008.4543239"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.2015.7421315"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7526541"},{"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":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2157884"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2008.2006233"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref6"},{"key":"ref5","volume":"26202649","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","article-title":"Temporal-logic-based reactive mission and motion planning","volume":"25","author":"kress-gazit","year":"2009","journal-title":"IEEE Transactions on Robotics"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913499085"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1109\/TRO.2007.900642","article-title":"Potential fields for maintaining connectivity of mobile networks","volume":"23","author":"zavlanos","year":"2007","journal-title":"IEEE Transactions on Robotics"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039362"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07798525.pdf?arnumber=7798525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T01:41:19Z","timestamp":1568684479000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7798525\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7798525","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}