Sciweavers

CLIMA
2008

Easy Yet Hard: Model Checking Strategies of Agents

13 years 5 months ago
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.
Wojciech Jamroga
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where CLIMA
Authors Wojciech Jamroga
Comments (0)