Probabilistic verification of decentralized multi-agent control strategies: a Case Study in Conflict Avoidance.

Lucia Pallottino, Antonio Bicchi, Emilio Frazzoli

Browse the full ACC paper archive.