Giters
EVE-MAS (eve-mas)

eve-mas

Geek Repo

4

followers

1

following

0

stars

Github PK Tool:Github PK Tool

EVE-MAS's repositories

eve-parity

Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.

Language:PythonLicense:GPL-3.0Stargazers:17Issues:3Issues:1

sevia

SRML Games Equilibrium Verification via ISPL Analysis

Language:CLicense:GPL-3.0Stargazers:0Issues:1Issues:0