Stéphane Le Roux

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 46

Top Topics

Fixed Point Theorem

Subgame Perfect

Markov Decision Process

Top Venues

Publications

Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From Local to Global Optimality in Concurrent Parity Games. CSL (2024)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives. FoSSaCS (2023)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From Local To Global Optimality in Concurrent Parity Games. CoRR (2023)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Sub-game optimal strategies in concurrent games with prefix-independent objectives. CoRR (2023)
Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Games Where You Can Play Optimally with Arena-Independent Finite Memory. Log. Methods Comput. Sci. 18 (1) (2022)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games. FSTTCS (2022)
Patricia Bouyer, Stéphane Le Roux, Nathan Thomasset
Finite-Memory Strategies in Two-Player Infinite Games. CSL (2022)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games. CoRR (2022)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Optimal Strategies in Concurrent Reachability Games. CSL (2022)
Patricia Bouyer, Stéphane Le Roux, Nathan Thomasset
Finite-memory strategies in two-player infinite games. CoRR (2021)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From Local to Global Determinacy in Concurrent Graph Games. FSTTCS (2021)
Véronique Bruyère, Stéphane Le Roux, Arno Pauly, Jean-François Raskin
On the existence of weak subgame perfect equilibria. Inf. Comput. 276 (2021)
Stéphane Le Roux, Arno Pauly
Equilibria in multi-player multi-outcome infinite sequential games. Inf. Comput. 276 (2021)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From local to global determinacy in concurrent graph games. CoRR (2021)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Optimal strategies in concurrent reachability games. CoRR (2021)
Stéphane Le Roux
Time-Aware Uniformization of Winning Strategies. CiE (2020)
Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Stéphane Le Roux
On the termination of dynamics in sequential games. Inf. Comput. 272 (2020)
Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Games Where You Can Play Optimally with Arena-Independent Finite Memory. CONCUR (2020)
Stéphane Le Roux, Arno Pauly
A Semi-Potential for Finite and Infinite Games in Extensive Form. Dyn. Games Appl. 10 (1) (2020)
Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Games Where You Can Play Optimally with Finite Memory. CoRR (2020)
Nikolaos Alexopoulos, Emmanouil Vasilomanolakis, Stéphane Le Roux, Steven Rowe, Max Mühlhäuser
TRIDEnT: towards a decentralized threat indicator marketplace. SAC (2020)
Nikolaos Alexopoulos, Emmanouil Vasilomanolakis, Stéphane Le Roux, Steven Rowe, Max Mühlhäuser
TRIDEnT: Building Decentralized Incentives for Collaborative Security. CoRR (2019)
Stéphane Le Roux
Time-aware uniformization of winning strategies. CoRR (2019)
Vasco Brattka, Stéphane Le Roux, Joseph S. Miller, Arno Pauly
Connected choice and the Brouwer fixed point theorem. J. Math. Log. 19 (1) (2019)
Stéphane Le Roux
Memoryless determinacy of infinite parity games: Another simple proof. Inf. Process. Lett. 143 (2019)
Stéphane Le Roux, Guillermo A. Pérez
The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. FoSSaCS (2018)
Stéphane Le Roux
Concurrent Games and Semi-Random Determinacy. MFCS (2018)
Stéphane Le Roux
Concurrent games and semi-random determinacy. CoRR (2018)
Stéphane Le Roux, Arno Pauly, Jean-François Raskin
Minkowski Games. ACM Trans. Comput. Log. 19 (3) (2018)
Stéphane Le Roux, Arno Pauly, Mickael Randour
Extending finite-memory determinacy by Boolean combination of winning conditions. CoRR (2018)
Stéphane Le Roux
Memoryless Determinacy of Infinite Parity Games: Another Simple Proof. CoRR (2018)
Stéphane Le Roux, Arno Pauly
Extending finite-memory determinacy to multi-player games. Inf. Comput. 261 (2018)
Stéphane Le Roux, Arno Pauly, Mickael Randour
Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions. FSTTCS (2018)
Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Stéphane Le Roux
Dynamics and Coalitions in Sequential Games. GandALF (2017)
Stéphane Le Roux, Guillermo A. Pérez
The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. CoRR (2017)
Stéphane Le Roux, Arno Pauly, Jean-François Raskin
Minkowski Games. STACS (2017)
Stéphane Le Roux, Érik Martin-Dorel, Jan-Georg Smaus
An Existence Theorem of Nash Equilibrium in Coq and Isabelle. GandALF (2017)
Véronique Bruyère, Stéphane Le Roux, Arno Pauly, Jean-François Raskin
On the Existence of Weak Subgame Perfect Equilibria. FoSSaCS (2017)
Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, Ufuk Topcu
Reduction Techniques for Model Checking and Learning in MDPs. IJCAI (2017)
Stéphane Le Roux, Arno Pauly, Jean-François Raskin
Minkowski games. CoRR (2016)
Vasco Brattka, Stéphane Le Roux, Joseph S. Miller, Arno Pauly
The Brouwer Fixed Point Theorem Revisited. CiE (2016)
Stéphane Le Roux, Arno Pauly
Extending finite memory determinacy: General techniques and an application to energy parity games. CoRR (2016)
Stéphane Le Roux, Arno Pauly
Extending Finite Memory Determinacy to Multiplayer Games. SR (2016)
Volker Betz, Stéphane Le Roux
Stable States of Perturbed Markov Chains. MFCS (2016)
Stéphane Le Roux, Arno Pauly
A Semi-Potential for Finite and Infinite Sequential Games (Extended Abstract). GandALF (2016)
Véronique Bruyère, Stéphane Le Roux, Arno Pauly, Jean-François Raskin
On the existence of weak subgame perfect equilibria. CoRR (2016)
Stéphane Le Roux, Arno Pauly
Weihrauch Degrees of Finding Equilibria in Sequential Games. CiE (2015)
Stéphane Le Roux
Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy. TTCS (2015)
Stéphane Le Roux, Arno Pauly
Closed choice: Cardinality vs convex dimension Log. Methods Comput. Sci. 11 (4) (2015)
Stéphane Le Roux
Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy. CoRR (2015)
Volker Betz, Stéphane Le Roux
Stable states of perturbed Markov chains. CoRR (2015)
Stéphane Le Roux, Arno Pauly
Infinite sequential games with real-valued payoffs. CoRR (2014)
Stéphane Le Roux
From winning strategy to Nash equilibrium. Math. Log. Q. 60 (4-5) (2014)
Stéphane Le Roux, Arno Pauly
Infinite sequential games with real-valued payoffs. CSL-LICS (2014)
Stéphane Le Roux
On terminating improvement in two-player games. CoRR (2014)
Stéphane Le Roux, Arno Pauly
Weihrauch degrees of finding equilibria in sequential games. CoRR (2014)
Stéphane Le Roux
Lazy beats crazy: a spurious yet mathematical justification for laissez-faire. CoRR (2013)
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
A Machine-Checked Proof of the Odd Order Theorem. ITP (2013)
Stéphane Le Roux
Infinite sequential Nash equilibrium Log. Methods Comput. Sci. 9 (2) (2013)
Stéphane Le Roux, Arno Pauly
Closed Choice for Finite and for Convex Sets. CiE (2013)
Vasco Brattka, Stéphane Le Roux, Arno Pauly
On the Computational Content of the Brouwer Fixed Point Theorem. CiE (2012)
Vasco Brattka, Stéphane Le Roux, Arno Pauly
Connected Choice and the Brouwer Fixed Point Theorem CoRR (2012)
Stéphane Le Roux
From determinacy to Nash equilibrium CoRR (2012)
Leo Liberti, Stéphane Le Roux, Jeremy Leconte, Fabrizio Marinelli
Mathematical programming based debugging. Electron. Notes Discret. Math. 36 (2010)
Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Stéphane Le Roux
Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence. TPHOLs (2009)
Stéphane Le Roux, Martin Ziegler
Singular Coverings and Non-Uniform Notions of Closed Set Computability. Electron. Notes Theor. Comput. Sci. 202 (2008)
Stéphane Le Roux, Martin Ziegler
Singular coverings and non-uniform notions of closed set computability. Math. Log. Q. 54 (5) (2008)
Stéphane Le Roux, Pierre Lescanne, René Vestergaard
Conversion/Preference Games CoRR (2008)
Stéphane Le Roux
Graphs and Path Equilibria. AAIM (2008)
Stéphane Le Roux
Acyclicity of Preferences, Nash Equilibria, and Subgame Perfect Equilibria: a Formal and Constructive Equivalence CoRR (2007)
Stéphane Le Roux
Graphs and Path Equilibria CoRR (2007)
Stéphane Le Roux
Discrete Nondeterminism and Nash Equilibria for Strategy-Based Games CoRR (2007)
Stéphane Le Roux, Martin Ziegler
Computable Closed Euclidean Subsets with and without Computable Points CoRR (2006)