The following pages link to EAGLE (Q43700):
Displaying 9 items.
- (Q47694) (redirect page) (← links)
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Natural strategic ability (Q2289013) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- (Q4972730) (← links)