PRALINE
From MaRDI portal
Cited in
(22)- 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
- Alpaga
- GAVS
- Gambit
- MCMAS
- GIST
- MOCHA
- PRISM-games
- EVE
- MCMAS-SLK
- GAMUT
- CTLSAT
- EAGLE
- Mr. Waffles
- Quantitative verification and strategy synthesis for stochastic games
- MultiGain
- Slime mould games based on rough set theory
- Cooperative concurrent games
- Pure Nash equilibria in concurrent deterministic games
- scientific article; zbMATH DE number 7136658 (Why is no real title available?)
This page was built for software: PRALINE
