PRALINE
From MaRDI portal
Cited in
(22)- Alpaga
- GAVS
- Slime mould games based on rough set theory
- Gambit
- MCMAS
- Automatic verification of concurrent stochastic systems
- GIST
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- PRISM-games
- MOCHA
- Cooperative concurrent games
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- Pure Nash equilibria in concurrent deterministic games
- Quantitative verification and strategy synthesis for stochastic games
- MCMAS-SLK
- GAMUT
- EAGLE
- EVE
- CTLSAT
- Mr. Waffles
- scientific article; zbMATH DE number 7136658 (Why is no real title available?)
- MultiGain
This page was built for software: PRALINE
