2 citations · 3 across the 6 of their papers we have counts for
1 paper · 2 filters
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…