2 papers
cs.MA2014
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…
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…