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. 

A.  Bicchi, Lorussi, F., Murrieri, P., and Scordio, V. G., ?On The Problem of Simultaneous Localization, Map Building, and Servoing of Autonomous Vehicles?, in Advances in Control of Articulated and Mobile Robots, B.  Siciliano, De Luca, A., Melchiorri, C., and Casalino, G., Eds. Springer Verlag, 2004, pp. 223-239.