L.  Pallottino, Bicchi, A., and Frazzoli, E., ?Probabilistic verification of decentralized multi-agent control strategies: a case study in conflict avoidance?, in American Control Conference (ACC), 2007, pp. 170-175. 

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.