Concurrent Game Structures with Roles

Truls Pedersen
(Dept. of Information science and media studies, University of Bergen, Norway)
Sjur Dyrkolbotn
(Durham Law School, Durham University, United Kingdom)
Piotr Kaźmierczak
(Dept. of Computing, Mathematics and Physics, Bergen University College, Norway)
Erik Parmann
(Dept. of Informatics, University of Bergen, Norway)

In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions are available to him at that state. We show advantages of the new semantics, provide motivating examples based on sensor networks, and analyze model checking complexity.

In Fabio Mogavero, Aniello Murano and Moshe Y. Vardi: Proceedings 1st International Workshop on Strategic Reasoning (SR 2013), Rome, Italy, March 16-17, 2013, Electronic Proceedings in Theoretical Computer Science 112, pp. 61–69.
Published: 1st March 2013.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: