Cited in
(14)- Automatic verification of concurrent stochastic systems
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- GAVS
- Gambit
- MCMAS
- GIST
- MOCHA
- PRALINE
- PRISM-games
- MCMAS-SLK
- EAGLE
- Verification of multi-agent systems with public actions against strategy logic
- scientific article; zbMATH DE number 7136658 (Why is no real title available?)
- dot
This page was built for software: EVE
