An abstraction-refinement framework for multi-agent systems (2006)

by T Ball, O Kupferman
Venue:In Proc. 21st LICS