Lean formalization of the finite Bergemann–Morris Bayes correlated equilibrium information-expansion characterization
-
Updated
Oct 2, 2026 - Lean
#
bayesian-games
Here are 6 public repositories matching this topic...
末日地堡博弈：以美剧《末日地堡》为案例的博弈论系列 | Silo Game Theory: game-theoretic papers on closed systems, via the show Silo
information-theory game-theory science-fiction control-systems censorship emergent-behavior systems-theory mechanism-design fermi-paradox information-asymmetry public-goods social-dynamics repeated-games information-control evolution-of-cooperation bayesian-games closed-systems signal-games coordination-games epistemic-closure
-
Updated
Sep 13, 2026
RL agent for a multi-stage war of attrition with incomplete information. Bayesian type filtering + potential-based shaping. 1st among students on the class leaderboard.
python reinforcement-learning pytorch recurrent-neural-networks game-theory bayesian-inference multi-agent-systems experimental-design ppo self-play reward-shaping signaling-games bayesian-games war-of-attrition incomplete-information
-
Updated
Sep 6, 2026 - Python
Interactive Streamlit simulator for exploring game-theoretic and reinforcement learning strategies for wireless network security and anti-jamming defense.
-
Updated
Jul 7, 2026 - Python
Game-theory equilibrium solvers: Cournot, bimatrix Nash by support enumeration, Bayesian Cournot and grim-trigger thresholds, benchmarked against Gibbons' textbook examples
python economics scipy game-theory nash-equilibrium repeated-games cournot-competition bayesian-games
-
Updated
Oct 2, 2026 - Python
Bacterial quorum sensing as a Bayesian game: static equilibria vs. evolutionary stability.
-
Updated
Jun 27, 2026 - Python
Add this topic to your repo
To associate your repository with the bayesian-games topic, visit your repo's landing page and select "manage topics."