Easy Yet Hard: Model Checking Strategies of Agents

Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different complexity results are obtained for the same problem. Among other things, this means that the results are often distant from the "practical" complexity which is encountered when one tries to use the formalisms in reality.

• Type: Conference
• Year: 2008
• Where: CLIMA
• Authors: Wojciech Jamroga
• Keywords: CLIMA 2008, Intelligent Agents