Concurrent Game Structures with Roles
Logic in Computer Science
2013-03-05 v1 Multiagent Systems
Abstract
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.
Cite
@article{arxiv.1303.0792,
title = {Concurrent Game Structures with Roles},
author = {Truls Pedersen and Sjur Dyrkolbotn and Piotr Kaźmierczak and Erik Parmann},
journal= {arXiv preprint arXiv:1303.0792},
year = {2013}
}
Comments
In Proceedings SR 2013, arXiv:1303.0071