L.  Pallottino, Scordio, V. G., Frazzoli, E., and Bicchi, A., ?Probabilistic verification of a decentralized policy for conflict resolution in multi-agent systems?, in Proc. IEEE Int. Conf. on Robotics and Automation, 2006, pp. 2448-2453.