Verifying Bounds on Deliberation Time in Multi-Agent Systems.

Natasha Alechina, Brian Logan

Browse the full EUMAS paper archive.