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