{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:43:28Z","timestamp":1730270608819,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/iros.2018.8593574","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T02:33:30Z","timestamp":1548297210000},"page":"4862-4868","source":"Crossref","is-referenced-by-count":5,"title":["Distributed Sensing Subject to Temporal Logic Constraints"],"prefix":"10.1109","author":[{"given":"Zachary","family":"Serlin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Leahy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Tron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"455","author":"schwager","year":"2017","journal-title":"A Multi-robot Control Policy for Information Gathering in the Presence of Unknown Hazards"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-014-9411-2"},{"key":"ref12","article-title":"Decentralized multi-agent exploration with online-learning of gaussian processes","author":"ruiz","year":"2016","journal-title":"IEEE International Conference on Robotics and Automation"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2514\/6.2017-1154"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1109\/TRO.2011.2163434","article-title":"Formal approach to the deployment of distributed robotic teams","volume":"28","author":"chen","year":"2012","journal-title":"IEEE Transactions on Robotics"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-50763-7_6","article-title":"Formal Methods for Discrete-Time Dynamical Systems","author":"belta","year":"2017","journal-title":"Studies in Systems Decision and Control"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039362"},{"key":"ref17","article-title":"Provably correct persistent surveillance for unmanned aerial vehicles subject to charging constraints","author":"leahy","year":"2014","journal-title":"Intl Symposium on Experimental Robotics 2014"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"journal-title":"Principles of Model Checking (Representation and Mind Series)","year":"2008","author":"baier","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0058-5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/S0263574715000417"},{"key":"ref6","first-page":"593","article-title":"Achieving goals in decentralized POMDPs","author":"amato","year":"2009","journal-title":"Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917692864"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.11.030"},{"key":"ref7","article-title":"The complexity of decentralized control of markov decision processes","volume":"abs 1301 3836","author":"bernstein","year":"2013","journal-title":"CoRR"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171012"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403291"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912452675"},{"journal-title":"Distributed Algorithms","year":"1996","author":"lynch","key":"ref20"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-44585-4_6","article-title":"Fast LTL to Buchi automata translation","volume":"2102","author":"gastin","year":"2001","journal-title":"Proceedings of the 13th International Conference on Computer Aided Verification (CAV‘01)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/nav.3800020109"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"ref23","first-page":"2000","author":"ulusoy","year":"0","journal-title":"LOMAP LTL Optimal Multi-agent Planner"}],"event":{"name":"2018 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2018,10,1]]},"location":"Madrid","end":{"date-parts":[[2018,10,5]]}},"container-title":["2018 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8574473\/8593358\/08593574.pdf?arnumber=8593574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T05:47:30Z","timestamp":1598248050000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8593574\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/iros.2018.8593574","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}