6 citations · 6 across the 1 of their papers we have counts for
Showing cs.GTShow all
2 papers · 1 filter
cs.GT2023
From Local To Global Optimality in Concurrent Parity Games
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
We study two-player games on finite graphs. Turn-based games have many nice properties, but concurrent games are harder to tame: e.g. turn-based stochastic parity games have positi…
cs.GT2017★ 6 cited
An Existence Theorem of Nash Equilibrium in Coq and Isabelle
Stéphane Le Roux, Érik Martin-Dorel, Jan-Georg Smaus
Nash equilibrium (NE) is a central concept in game theory. Here we prove formally a published theorem on existence of an NE in two proof assistants, Coq and Isabelle: starting from…