An Abstraction-Refinement Framework for Multi-Agent Systems.

Thomas Ball, Orna Kupferman

Browse the full LICS paper archive.