Abstraction for model checking multi-agent systems

Conghua Zhou, Bo Sun, Zhifeng Liu. Abstraction for model checking multi-agent systems. Frontiers of Computer Science in China, 5(1):14-25, 2011. [doi]

Abstract

Abstract is missing.