6 citations · 6 across the 1 of their papers we have counts for
3 papers
An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
Alain Finkel, Gaspard Fougea, Stéphane Le Roux
Formal models are important for theory-building, enhancing the precision of predictions and promoting collaboration. Researchers have argued that there is a lack of formal models i…
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…
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…