EVE
From MaRDI portal
Software:43701
No author found.
Source code repository: https://github.com/eve-mas/eve-parity
Related Items (4)
Automatic verification of concurrent stochastic systems ⋮ Unnamed Item ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Verification of multi-agent systems with public actions against strategy logic
This page was built for software: EVE
