Probabilistic Verification of a Decentralized Policy for Conflict Resolution in Multi-agent Systems.

Lucia Pallottino, Vincenzo Giovanni Scordio, Emilio Frazzoli, Antonio Bicchi

Browse the full ICRA paper archive.