Cited in
(24)- Automatic verification of concurrent stochastic systems
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- Alpaga
- GAVS
- Gambit
- MCMAS
- GIST
- QUASY
- MOCHA
- PRALINE
- PRISM-games
- EVE
- TuLiP
- MCMAS-SLK
- CTLSAT
- Mr. Waffles
- Quantitative verification and strategy synthesis for stochastic games
- Natural strategic ability
- MultiGain
- Reasoning about equilibria in game-like concurrent systems
- From model checking to equilibrium checking: reactive modules for rational verification
- scientific article; zbMATH DE number 7136658 (Why is no real title available?)
- dot
- Imperfect information in reactive modules games
This page was built for software: EAGLE
