{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T18:23:04Z","timestamp":1746210184067},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/robot.2006.1642069","type":"proceedings-article","created":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T15:59:56Z","timestamp":1152547196000},"page":"2448-2453","source":"Crossref","is-referenced-by-count":20,"title":["Probabilistic verification of a decentralized policy for conflict resolution in multi-agent systems"],"prefix":"10.1109","author":[{"given":"L.","family":"Pallottino","sequence":"first","affiliation":[]},{"given":"V.G.","family":"Scordio","sequence":"additional","affiliation":[]},{"given":"E.","family":"Frazzoli","sequence":"additional","affiliation":[]},{"given":"A.","family":"Bicchi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805817"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-6048"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_33"},{"journal-title":"Randomized Algorithms for Analysis and Control of Uncertain Systems","year":"2003","author":"tempo","key":"18"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177729330"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/6979.928722"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1429542"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"key":"14","article-title":"Maneuver design for multiple aircraft conflict resolution","author":"ghosh","year":"2000","journal-title":"Proc American Control Conf"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.864190"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1307519"},{"journal-title":"Hierarchical hybrid control of large scale systems","year":"1996","author":"lygeros","key":"21"},{"key":"3","article-title":"Coordinating multiple robots with kinodynamic constraints along specified paths","author":"peng","year":"2002","journal-title":"Proceedings of the Fifth International Workshop on Algorithmic Foundations of Robotics"},{"journal-title":"Studies in hybrid systems modeling analysis and control","year":"1995","author":"branicky","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/70.736775"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.2307\/2372560"},{"key":"10","article-title":"Flocking agents with varying interconnection topology","author":"tanner","year":"2004","journal-title":"Automatica"},{"key":"7","article-title":"Communication complexity of multi-robot systems","author":"klavins","year":"2002","journal-title":"Proc Int Workshop Algorithmic Foundations Robotics"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008815304810"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1308892"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.803462"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.812781"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184667"}],"event":{"name":"2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006.","location":"Orlando, FL, USA"},"container-title":["Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10932\/34383\/01642069.pdf?arnumber=1642069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T18:30:05Z","timestamp":1489602605000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1642069\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/robot.2006.1642069","relation":{},"subject":[]}}