Probabilistic verification of a decentralized policy for conflict resolution in multi-agent systems