Suivre
Stéphane Le Roux
Stéphane Le Roux
LSV, école normale supérieure de Paris-Saclay
Adresse e-mail validée de lsv.fr
Titre
Citée par
Citée par
Année
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
5012013
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
402019
Finite choice, convex choice and finding roots
S Le Roux, A Pauly
Logical Methods in Computer Science 11, 2015
332015
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
322022
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
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
272009
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
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
From winning strategy to Nash equilibrium
S Le Roux
Mathematical logic quarterly 60 (4-5), 354-371, 2014
172014
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
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
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
Weihrauch degrees of finding equilibria in sequential games
SL Roux, A Pauly
arXiv preprint arXiv:1407.5587, 2014
112014
Reduction techniques for model checking and learning in MDPs
S Bharadwaj, S Le Roux, G Pérez, U Topcu
Proceedings of the 26st International Joint Conference on Artificial …, 2017
102017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20