Accéder directement au contenu

Érik Martin-Dorel

2
Documents
Identifiants chercheurs

Présentation

Brought to you by HAL.
Brought to you by HAL.

Publications

"stephane-le-roux"

Formalization of an existence theorem of Nash equilibrium in Coq and Isabelle (Journées FAC 2017)

Stéphane Le Roux , Érik Martin-Dorel , Jan-Georg Smaus
Journées FAC 2017, Groupe IFSE du RTRA STAE, Mar 2017, Toulouse, France
Communication dans un congrès hal-03131861v1

An Existence Theorem of Nash Equilibrium in Coq and Isabelle

Stéphane Le Roux , Érik Martin-Dorel , Jan-Georg Smaus
8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017), Sep 2017, Rome, Italy. pp.46-60, ⟨10.4204/EPTCS.256.4⟩
Communication dans un congrès hal-03434697v1