swMATH12912MaRDI QIDQ24835FDOQ24835
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/978-3-642-39799-8_63
Cited In (21)
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- Automatic verification of concurrent stochastic systems
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- Quantitative verification and strategy synthesis for stochastic games
- GAVS
- Gambit
- MCMAS
- GIST
- MOCHA
- PRISM-games
- EVE
- MCMAS-SLK
- GAMUT
- CTLSAT
- EAGLE
- Mr. Waffles
- MultiGain
- Slime mould games based on rough set theory
- Cooperative concurrent games
- Pure Nash equilibria in concurrent deterministic games
- Title not available (Why is that?)
This page was built for software: PRALINE
