Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.
verification
artificial-intelligence
synthesis
game-theory
model-checking
multiagent-systems
formal-verification
nash-equilibrium
linear-temporal-logic
rational-verification
concurrent-games
-
Updated
Aug 19, 2024 - Python