Model checking knowledge, strategies, and games in multi-agent systems

Alessio Lomuscio, Franco Raimondi. Model checking knowledge, strategies, and games in multi-agent systems. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, editors, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. pages 161-168, ACM, 2006. [doi]

Abstract

Abstract is missing.