{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:07:52Z","timestamp":1729678072659,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/robot.2010.5509776","type":"proceedings-article","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T12:07:20Z","timestamp":1279800440000},"page":"2459-2466","source":"Crossref","is-referenced-by-count":7,"title":["Robust by composition: Programs for multi-robot systems"],"prefix":"10.1109","author":[{"given":"Nils","family":"Napp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Klavins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","article-title":"Probabilistic symbolic model checking with PRISM: A hybrid approach","volume":"6","author":"kwiatkowska","year":"2004","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2024997"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5160372"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2009.V.017","article-title":"Setpoint regulation for stochastically interacting robots","author":"napp","year":"2009","journal-title":"Robotics Science and Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911403018"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_33"},{"journal-title":"Graduate Texts in Mathematics","year":"2005","author":"stroock","key":"ref16"},{"journal-title":"Stochastic Processes in Physics and Chemistry","year":"2007","author":"kampen","key":"ref17"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0619-4","author":"bollobas","year":"1998","journal-title":"Modern Graph Theory"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1307499"},{"key":"ref3","first-page":"9","article-title":"Optimal rules for programmed stochastic self-assembly","author":"klavins","year":"2006","journal-title":"Robotics Science and Systems II"},{"key":"ref6","article-title":"Reconfiguration algorithms for robotically manipulatable structures","author":"lobo","year":"2009","journal-title":"Proc of the International Conference on Reconfigurable Mechanisms and Robots (ReMAR)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2006.1641916"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509878"},{"key":"ref2","first-page":"129","article-title":"Dynamic task assignment in robot swarms","author":"mclurkin","year":"2005","journal-title":"Robotics Science and Systems I"},{"journal-title":"A Course in Robust Control Theory A Convex Approach","year":"1999","author":"dullerud","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2004.1269132"}],"event":{"name":"2010 IEEE International Conference on Robotics and Automation (ICRA 2010)","start":{"date-parts":[[2010,5,3]]},"location":"Anchorage, AK","end":{"date-parts":[[2010,5,7]]}},"container-title":["2010 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5501116\/5509124\/05509776.pdf?arnumber=5509776","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T08:16:06Z","timestamp":1559290566000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5509776\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/robot.2010.5509776","relation":{},"subject":[],"published":{"date-parts":[[2010,5]]}}}