{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:33:05Z","timestamp":1730208785806,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1109\/coase.2017.8256320","type":"proceedings-article","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T18:11:01Z","timestamp":1516212661000},"page":"1522-1527","source":"Crossref","is-referenced-by-count":4,"title":["Automated synthesis of scalable algorithms for inferring non-local properties to assist in multi-robot teaming"],"prefix":"10.1109","author":[{"given":"Taeyeong","family":"Choi","sequence":"first","affiliation":[]},{"given":"Theodore P.","family":"Pavlic","sequence":"additional","affiliation":[]},{"given":"Andrea W.","family":"Richa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"1305","article-title":"Efficient decision-making in a self-organizing robot swarm: On the speed versus accuracy tradeoff","author":"valentini","year":"2015","journal-title":"Proc of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-015-0108-8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-4-431-55879-8_25"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-015-9323-3"},{"journal-title":"Principles of Animal Communication","year":"2011","author":"bradbury","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2014.09.003"},{"journal-title":"Safe remote-access swarm robotics research on the robotarium","year":"2016","author":"pickem","key":"ref16"},{"journal-title":"Probabilistic Robotics","year":"2005","author":"thrun","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3182\/20100906-3-IT-2019.00028"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2013.820353"},{"journal-title":"Behavior-Based Robotics","year":"1998","author":"arkin","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911403018"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139767"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1115\/1.4001706"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1126\/science.1254295"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-012-0075-2"},{"journal-title":"Infinite object coating in the amoebot model","year":"2014","author":"derakhshandeh","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-014-0100-8"},{"key":"ref2","first-page":"369","article-title":"Modeling and optimization of a swarm-intelligent inspection system","author":"correll","year":"2004","journal-title":"Proc of the Seventh International Symposium on Distributed Autonomous Robotics Systems (DARS 2004)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2015.05.001"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2002.1013392"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139035"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2016.04.002"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ROBIO.2012.6491061"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s00265-003-0726-9"},{"journal-title":"The Dance Language and Orientation of Bees","year":"1967","author":"von frisch","key":"ref23"},{"key":"ref26","first-page":"1","article-title":"Pattern recognition","volume":"128","author":"bishop","year":"2006","journal-title":"Machine Learning"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/HUMANOIDS.2014.7041413"}],"event":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017)","start":{"date-parts":[[2017,8,20]]},"location":"Xi'an","end":{"date-parts":[[2017,8,23]]}},"container-title":["2017 13th IEEE Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8244402\/8256062\/08256320.pdf?arnumber=8256320","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,28]],"date-time":"2018-02-28T16:04:10Z","timestamp":1519833850000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8256320\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/coase.2017.8256320","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}