Probabilistic verification of decentralized multi-agent control strategies: a Case Study in Conflict Avoidance | IEEE Conference Publication | IEEE Xplore