Pages that link to "Item:Q2225595"
From MaRDI portal
The following pages link to Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking (Q2225595):
Displaying 4 items.
- Bounded game-theoretic semantics for modal mu-calculus (Q2105468) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- (Q5021004) (← links)
- The optimal way to play the most difficult repeated two-player coordination games (Q6064834) (← links)
