2013/02/28 by Truls Pedersen, Sjur Dyrkolbotn, Piotr Kaźmierczak +1
Computer Science · #Computer science #Distributed computing #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Model checking #Programming language #Semantic Web and Ontologies #Semantics (computer science) #State (computer science) #Temporal logic #Theoretical computer science #cs.LO #cs.MA
paper · pdf · doi:10.4204/eptcs.112.11
published as EPTCS 112, 2013, pp. 61-69 · In Proceedings SR 2013, arXiv:1303.0071
openalex publication_date 2013/02/28 · arxiv created 2013/03/04 · arxiv updated 2013/03/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/05
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.