Verifying Bounds on Deliberation Time in Multi-Agent Systems.

Natasha Alechina Brian Logan Verifying Bounds on Deliberation Time in Multi-Agent Systems. 25-34 2005 conf/eumas/2005 EUMAS db/conf/eumas/eumas2005.html#AlechinaL05