2 citations · 2 across the 3 of their papers we have counts for
3 papers
Big, but not unruly: Tractable norms for anonymous game structures
Truls Pedersen, Sjur Dyrkolbotn, Piotr Kaźmierczak
We present a new strategic logic NCHATL that allows for reasoning about norm compliance on concurrent game structures that satisfy anonymity. We represent such game structures comp…
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…
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…