TY - CPAPER AU - Lomuscio,A AU - Raimondi,F PB - ACM PY - 2006/// TI - Model checking knowledge, strategies, and games in multi-agent systems ER -