Representing and Reasoning about Game Strategies

This paper states the challenges for modeling and reasoning strategic behaviour of agents in multi-agent systems. After a brief review of logical analysis of games, we specify the problem we are tackling, and then briefly outline our research plan, the results we have achieved to date as well as the ongoing directions.