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.