swMATH31990MaRDI QIDQ43701FDOQ43701
Author name not available (Why is that?)
Official website: http://eve.cs.ox.ac.uk/
Source code repository: https://github.com/eve-mas/eve-parity
Cited In (14)
- Automatic verification of concurrent stochastic systems
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- dot
- GAVS
- Gambit
- MCMAS
- GIST
- MOCHA
- PRALINE
- PRISM-games
- MCMAS-SLK
- EAGLE
- Verification of multi-agent systems with public actions against strategy logic
- Title not available (Why is that?)
This page was built for software: EVE
