2 citations
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2013★ 2 cited
Concurrent Game Structures with Roles
Truls Pedersen, Sjur Dyrkolbotn, Piotr Kaźmierczak +1
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 ag…
cs.LO2012
No big deal: introducing roles to reduce the size of ATL models
Sjur Dyrkolbotn, Piotr Kaźmierczak, Erik Parmann +1
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 ag…