You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
PyDiffGame is a Python implementation of a Nash Equilibrium solution to Differential Games, based on a reduction of Game Hamilton-Bellman-Jacobi (GHJB) equations to Game Algebraic and Differential Riccati equations, associated with Multi-Objective Dynamical Control Systems
Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.
This repository analyses Strategic form games for N-player calculating various Equilibrium's, Calculate MSNE for 2-Player strategic form and zero sum game, Also contains algorithm for N-player finite Mechanism design to check if social choice function is SDSE, Ex-Post-efficient and Non-dictatorial.
This is an implementation of a learning algorithm (Best Response Dynamics) to find Nash Equilibria for voting games, specifically for the Plurality and Borda voting rules.
Comparative system for multiagent algorithms with different learning strategies. The analysis is carries with the helps of a nash equilibria comparison, the replicator dynamic and a simple grand table with the average reward obtained.