The following pages link to Coordination Logic (Q3586048):
Displaying 9 items.
- Infinite games with finite knowledge gaps (Q528188) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- Model-checking iterated games (Q1674862) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- (Q4972730) (← links)
- (Q5111630) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)