The following pages link to PRALINE (Q24835):
Displaying 8 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Slime mould games based on rough set theory (Q1797883) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Cooperative concurrent games (Q2680769) (← links)
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games (Q2787450) (← links)
- Pure Nash Equilibria in Concurrent Deterministic Games (Q2941757) (← links)
- (Q4972730) (← links)