Follow
Stéphane Le Roux
Stéphane Le Roux
LSV, école normale supérieure de Paris-Saclay
Verified email at lsv.fr
Title
Cited by
Cited by
Year
A machine-checked proof of the odd order theorem
G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ...
International conference on interactive theorem proving, 163-179, 2013
5132013
Connected choice and the Brouwer fixed point theorem
V Brattka, S Le Roux, JS Miller, A Pauly
Journal of Mathematical Logic 19 (01), 1950004, 2019
412019
Games where you can play optimally with arena-independent finite memory
P Bouyer, S Le Roux, Y Oualhadj, M Randour, P Vandenhove
Logical Methods in Computer Science 18, 2022
352022
Finite choice, convex choice and finding roots
S Le Roux, A Pauly
Logical Methods in Computer Science 11, 2015
342015
Acyclic preferences and existence of sequential Nash equilibria: A formal and constructive equivalence
S Le Roux
Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009
292009
Infinite sequential games with real-valued payoffs
S Le Roux, A Pauly
Proceedings of the joint meeting of the twenty-third EACSL annual conference …, 2014
282014
On the computational content of the Brouwer fixed point theorem
V Brattka, S Le Roux, A Pauly
How the World Computes: Turing Centenary Conference and 8th Conference on …, 2012
262012
Singular coverings and non‐uniform notions of closed set computability
S Le Roux, M Ziegler
Mathematical Logic Quarterly 54 (5), 545-560, 2008
262008
Extending finite-memory determinacy by Boolean combination of winning conditions
SL Roux, A Pauly, M Randour
arXiv preprint arXiv:1808.05791, 2018
202018
From winning strategy to Nash equilibrium
S Le Roux
Mathematical logic quarterly 60 (4-5), 354-371, 2014
182014
Extending finite-memory determinacy to multi-player games
S Le Roux, A Pauly
Information and Computation 261, 676-694, 2018
172018
On the existence of weak subgame perfect equilibria
V Bruyère, S Le Roux, A Pauly, JF Raskin
Foundations of Software Science and Computation Structures: 20th …, 2017
172017
Weihrauch degrees of finding equilibria in sequential games
S Le Roux, A Pauly
Evolving Computability: 11th Conference on Computability in Europe, CiE 2015 …, 2015
172015
Infinite sequential Nash equilibrium
S Le Roux
Logical Methods in Computer Science 9, 2013
172013
Static analysis by abstract interpretation: a mathematical programming approach
E Goubault, S Le Roux, J Leconte, L Liberti, F Marinelli
Electronic notes in theoretical computer science 267 (1), 73-87, 2010
162010
Generalisation and formalisation in game theory
S Le Roux
École normale supérieure (Lyon; 1987-2009), 2008
132008
Optimal strategies in concurrent reachability games
B Bordais, P Bouyer, SL Roux
arXiv preprint arXiv:2110.14724, 2021
122021
Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy
S Le Roux
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International …, 2016
122016
An existence theorem of Nash equilibrium in Coq and Isabelle
SL Roux, É Martin-Dorel, JG Smaus
arXiv preprint arXiv:1709.02096, 2017
112017
The Brouwer fixed point theorem revisited
V Brattka, S Le Roux, JS Miller, A Pauly
Pursuit of the Universal: 12th Conference on Computability in Europe, CiE …, 2016
112016
The system can't perform the operation now. Try again later.
Articles 1–20