Stéphane Le Roux

77 papers A* 1A 1B 10C 8Misc 1Journal 45Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Extensive form games with incentive stage-bidding: An emergence of non-cooperative cooperation. Games Econ. Behav. Stéphane Le Roux, Valentin Goranko
2025	J	`jnl`	An Automata-Based Method to Formalize Psychological Theories - The Case Study of Lazarus and Folkman's Stress Theory. CoRR Alain Finkel, Gaspard Fougea, Stéphane Le Roux
2025	C	`conf`	An Automata-Based Method to Formalize Psychological Theories: The Case Study of Lazarus and Folkman's Stress Theory. MODELSWARD Alain Finkel, Gaspard Fougea, Stéphane Le Roux
2024	B	`conf`	From Local to Global Optimality in Concurrent Parity Games. CSL Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2023	J	`jnl`	From Local To Global Optimality in Concurrent Parity Games. CoRR Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2023	J	`jnl`	Sub-game optimal strategies in concurrent games with prefix-independent objectives. CoRR Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2023	B	`conf`	Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives. FoSSaCS Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2022	B	`conf`	Finite-Memory Strategies in Two-Player Infinite Games. CSL Patricia Bouyer, Stéphane Le Roux, Nathan Thomasset
2022	J	`jnl`	Games Where You Can Play Optimally with Arena-Independent Finite Memory. Log. Methods Comput. Sci. Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2022	B	`conf`	Optimal Strategies in Concurrent Reachability Games. CSL Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2022	—	`conf`	Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games. FSTTCS Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2022	J	`jnl`	Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games. CoRR Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2021	J	`jnl`	Equilibria in multi-player multi-outcome infinite sequential games. Inf. Comput. Stéphane Le Roux, Arno Pauly
2021	J	`jnl`	Finite-memory strategies in two-player infinite games. CoRR Patricia Bouyer, Stéphane Le Roux, Nathan Thomasset
2021	—	`conf`	From Local to Global Determinacy in Concurrent Graph Games. FSTTCS Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2021	J	`jnl`	From local to global determinacy in concurrent graph games. CoRR Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2021	J	`jnl`	On the existence of weak subgame perfect equilibria. Inf. Comput. Véronique Bruyère, Stéphane Le Roux, Arno Pauly, Jean-François Raskin
2021	J	`jnl`	Optimal strategies in concurrent reachability games. CoRR Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2020	J	`jnl`	A Semi-Potential for Finite and Infinite Games in Extensive Form. Dyn. Games Appl. Stéphane Le Roux, Arno Pauly
2020	B	`conf`	Games Where You Can Play Optimally with Arena-Independent Finite Memory. CONCUR Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2020	J	`jnl`	Games Where You Can Play Optimally with Finite Memory. CoRR Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2020	J	`jnl`	On the termination of dynamics in sequential games. Inf. Comput. Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Stéphane Le Roux
2020	Misc	`conf`	TRIDEnT: towards a decentralized threat indicator marketplace. SAC Nikolaos Alexopoulos, Emmanouil Vasilomanolakis, Stéphane Le Roux, Steven Rowe, Max Mühlhäuser
2020	C	`conf`	Time-Aware Uniformization of Winning Strategies. CiE Stéphane Le Roux
2019	J	`jnl`	Connected choice and the Brouwer fixed point theorem. J. Math. Log. Vasco Brattka, Stéphane Le Roux, Joseph S. Miller, Arno Pauly
2019	J	`jnl`	Memoryless determinacy of infinite parity games: Another simple proof. Inf. Process. Lett. Stéphane Le Roux
2019	J	`jnl`	TRIDEnT: Building Decentralized Incentives for Collaborative Security. CoRR Nikolaos Alexopoulos, Emmanouil Vasilomanolakis, Stéphane Le Roux, Steven Rowe, Max Mühlhäuser
2019	J	`jnl`	Time-aware uniformization of winning strategies. CoRR Stéphane Le Roux
2018	B	`conf`	Concurrent Games and Semi-Random Determinacy. MFCS Stéphane Le Roux
2018	J	`jnl`	Concurrent games and semi-random determinacy. CoRR Stéphane Le Roux
2018	—	`conf`	Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions. FSTTCS Stéphane Le Roux, Arno Pauly, Mickael Randour
2018	J	`jnl`	Extending finite-memory determinacy by Boolean combination of winning conditions. CoRR Stéphane Le Roux, Arno Pauly, Mickael Randour
2018	J	`jnl`	Extending finite-memory determinacy to multi-player games. Inf. Comput. Stéphane Le Roux, Arno Pauly
2018	J	`jnl`	Memoryless Determinacy of Infinite Parity Games: Another Simple Proof. CoRR Stéphane Le Roux
2018	J	`jnl`	Minkowski Games. ACM Trans. Comput. Log. Stéphane Le Roux, Arno Pauly, Jean-François Raskin
2018	B	`conf`	The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. FoSSaCS Stéphane Le Roux, Guillermo A. Pérez
2017	—	`conf`	An Existence Theorem of Nash Equilibrium in Coq and Isabelle. GandALF Stéphane Le Roux, Érik Martin-Dorel, Jan-Georg Smaus
2017	—	`conf`	Dynamics and Coalitions in Sequential Games. GandALF Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Stéphane Le Roux
2017	A	`conf`	Minkowski Games. STACS Stéphane Le Roux, Arno Pauly, Jean-François Raskin
2017	B	`conf`	On the Existence of Weak Subgame Perfect Equilibria. FoSSaCS Véronique Bruyère, Stéphane Le Roux, Arno Pauly, Jean-François Raskin
2017	A*	`conf`	Reduction Techniques for Model Checking and Learning in MDPs. IJCAI Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, Ufuk Topcu
2017	J	`jnl`	The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. CoRR Stéphane Le Roux, Guillermo A. Pérez
2016	—	`conf`	A Semi-Potential for Finite and Infinite Sequential Games (Extended Abstract). GandALF Stéphane Le Roux, Arno Pauly
2016	—	`conf`	Extending Finite Memory Determinacy to Multiplayer Games. SR Stéphane Le Roux, Arno Pauly
2016	J	`jnl`	Extending finite memory determinacy: General techniques and an application to energy parity games. CoRR Stéphane Le Roux, Arno Pauly
2016	J	`jnl`	Minkowski games. CoRR Stéphane Le Roux, Arno Pauly, Jean-François Raskin
2016	J	`jnl`	On the existence of weak subgame perfect equilibria. CoRR Véronique Bruyère, Stéphane Le Roux, Arno Pauly, Jean-François Raskin
2016	B	`conf`	Stable States of Perturbed Markov Chains. MFCS Volker Betz, Stéphane Le Roux
2016	C	`conf`	The Brouwer Fixed Point Theorem Revisited. CiE Vasco Brattka, Stéphane Le Roux, Joseph S. Miller, Arno Pauly
2015	J	`jnl`	Closed choice: Cardinality vs convex dimension Log. Methods Comput. Sci. Stéphane Le Roux, Arno Pauly
2015	—	`conf`	Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy. TTCS Stéphane Le Roux
2015	J	`jnl`	Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy. CoRR Stéphane Le Roux
2015	J	`jnl`	Stable states of perturbed Markov chains. CoRR Volker Betz, Stéphane Le Roux
2015	C	`conf`	Weihrauch Degrees of Finding Equilibria in Sequential Games. CiE Stéphane Le Roux, Arno Pauly
2014	J	`jnl`	From winning strategy to Nash equilibrium. Math. Log. Q. Stéphane Le Roux
2014	—	`conf`	Infinite sequential games with real-valued payoffs. CSL-LICS Stéphane Le Roux, Arno Pauly
2014	J	`jnl`	Infinite sequential games with real-valued payoffs. CoRR Stéphane Le Roux, Arno Pauly
2014	J	`jnl`	On terminating improvement in two-player games. CoRR Stéphane Le Roux
2014	J	`jnl`	Weihrauch degrees of finding equilibria in sequential games. CoRR Stéphane Le Roux, Arno Pauly
2013	B	`conf`	A Machine-Checked Proof of the Odd Order Theorem. ITP 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
2013	C	`conf`	Closed Choice for Finite and for Convex Sets. CiE Stéphane Le Roux, Arno Pauly
2013	J	`jnl`	Infinite sequential Nash equilibrium Log. Methods Comput. Sci. Stéphane Le Roux
2013	J	`jnl`	Lazy beats crazy: a spurious yet mathematical justification for laissez-faire. CoRR Stéphane Le Roux
2012	J	`jnl`	Connected Choice and the Brouwer Fixed Point Theorem CoRR Vasco Brattka, Stéphane Le Roux, Arno Pauly
2012	J	`jnl`	From determinacy to Nash equilibrium CoRR Stéphane Le Roux
2012	C	`conf`	On the Computational Content of the Brouwer Fixed Point Theorem. CiE Vasco Brattka, Stéphane Le Roux, Arno Pauly
2010	J	`jnl`	Mathematical programming based debugging. Electron. Notes Discret. Math. Leo Liberti, Stéphane Le Roux, Jeremy Leconte, Fabrizio Marinelli
2010	—	`conf`	Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. NSAD@SAS Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli
2009	—	`conf`	Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence. TPHOLs Stéphane Le Roux
2008	J	`jnl`	Conversion/Preference Games CoRR Stéphane Le Roux, Pierre Lescanne, René Vestergaard
2008	C	`conf`	Graphs and Path Equilibria. AAIM Stéphane Le Roux
2008	J	`jnl`	Singular coverings and non-uniform notions of closed set computability. Math. Log. Q. Stéphane Le Roux, Martin Ziegler
2007	J	`jnl`	Acyclicity of Preferences, Nash Equilibria, and Subgame Perfect Equilibria: a Formal and Constructive Equivalence CoRR Stéphane Le Roux
2007	J	`jnl`	Discrete Nondeterminism and Nash Equilibria for Strategy-Based Games CoRR Stéphane Le Roux
2007	J	`jnl`	Graphs and Path Equilibria CoRR Stéphane Le Roux
2007	C	`conf`	Singular Coverings and Non-Uniform Notions of Closed Set Computability. CCA Stéphane Le Roux, Martin Ziegler
2006	J	`jnl`	Computable Closed Euclidean Subsets with and without Computable Points CoRR Stéphane Le Roux, Martin Ziegler