6 citations · 6 across the 2 of their papers we have counts for
2 papers
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…
cs.MS2006
Stochastic Formal Methods for Hybrid Systems
Marc Daumas, David Lester, Erik Martin-Dorel +1
We provide a framework to bound the probability that accumulated errors were never above a given threshold on hybrid systems. Such systems are used for example to model an aircraft…