Arxiv (not yet published)

1
Stéphane Le Roux. On terminating improvement in two-player games. CoRR, 2014. URL: http://arxiv.org/abs/1409.6489.

Journals

6
Volker Betz and Stéphane Le Roux. Multi-scale metastable dynamics and the asymptotic stationary distribution of perturbed markov chains. Stochastic Processes and their Applications, 126(11):3499 – 3526, 2016. URL: https://arxiv.org/abs/1412.6979, doi:10.1016/j.spa.2016.05.003.
5
Stéphane Le Roux and Arno Pauly. Closed choice: cardinality vs convex dimension. Logical Methods in Computer Science, 2015. URL: https://arxiv.org/pdf/1302.0380.pdf, doi:10.2168/LMCS-11(4:6)2015.
4
Stéphane Le Roux. From winning strategy to nash equilibrium. Math. Log. Q., 60(4-5):354–371, 2014. URL: https://arxiv.org/abs/1203.1866, doi:10.1002/malq.201300034.
3
Stéphane Le Roux. Infinite sequential nash equilibrium. Logical Methods in Computer Science, 2013. URL: https://arxiv.org/pdf/1302.3973v2.pdf, doi:10.2168/LMCS-9(2:3)2013.
2
Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, and Fabrizio Marinelli. Static analysis by abstract interpretation: A mathematical programming approach. Electr. Notes Theor. Comput. Sci., 267(1):73–87, 2010. URL: http://dx.doi.org/10.1016/j.entcs.2010.09.007, doi:10.1016/j.entcs.2010.09.007.
1
Stéphane Le Roux and Martin Ziegler. Singular coverings and non-uniform notions of closed set computability. Math. Log. Q., 54(5):545–560, 2008. URL: https://arxiv.org/pdf/cs/0610080.pdf, doi:10.1002/malq.200610058.

Conferences (with peer review and proceedings)

17
Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, and Ufuk Topcu. Reduction techniques for model checking and learning in mdps. 2017. To appear at IJCAI.
16
Véronique Bruyère, Stéphane Le Roux, Arno Pauly, and Jean-François Raskin. On the existence of weak subgame perfect equilibria. In Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, 145–161. 2017. URL: https://doi.org/10.1007/978-3-662-54458-7_9, doi:10.1007/978-3-662-54458-7_9.
15
Stéphane Le Roux, Arno Pauly, and Jean-François Raskin. Minkowski games. In 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany, 50:1–50:13. 2017. URL: https://doi.org/10.4230/LIPIcs.STACS.2017.50, doi:10.4230/LIPIcs.STACS.2017.50.
Stéphane Le Roux and Arno Pauly. A semi-potential for finite and infinite sequential games (extended abstract). In Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016., 242–256. 2016. URL: http://dx.doi.org/10.4204/EPTCS.226.17, doi:10.4204/EPTCS.226.17.
13
Volker Betz and Stéphane Le Roux. Stable states of perturbed markov chains. In 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland, 18:1–18:14. 2016. URL: http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.18, doi:10.4230/LIPIcs.MFCS.2016.18.
12
Stéphane Le Roux and Arno Pauly. Extending finite memory determinacy to multiplayer games. In Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016., 27–40. 2016. URL: http://dx.doi.org/10.4204/EPTCS.218.3, doi:10.4204/EPTCS.218.3.
11
Vasco Brattka, Stéphane Le Roux, Joseph S. Miller, and Arno Pauly. The Brouwer fixed point theorem revisited. In Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, 58–67. 2016. URL: http://dx.doi.org/10.1007/978-3-319-40189-8_6, doi:10.1007/978-3-319-40189-8_6.
10
Stéphane Le Roux and Arno Pauly. Weihrauch degrees of finding equilibria in sequential games. In Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, 246–257. 2015. URL: https://arxiv.org/pdf/1407.5587v2.pdf, doi:10.1007/978-3-319-20028-6_25.
9
Stéphane Le Roux. Infinite subgame perfect equilibrium in the hausdorff difference hierarchy. In Topics in Theoretical Computer Science - The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers, 147–163. 2015. URL: https://arxiv.org/abs/1505.06320, doi:10.1007/978-3-319-28678-5_11.
8
Stéphane Le Roux and Arno Pauly. Infinite sequential games with real-valued payoffs. In Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 62:1–62:10. 2014. URL: http://doi.acm.org/10.1145/2603088.2603120, doi:10.1145/2603088.2603120.
7
Stéphane Le Roux and Arno Pauly. Closed choice for finite and for convex sets. In The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, 294–305. 2013. URL: https://arxiv.org/abs/1302.0380v3, doi:10.1007/978-3-642-39053-1_34.
6
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, and Laurent Théry. A machine-checked proof of the odd order theorem. In Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, 163–179. 2013. URL: http://dx.doi.org/10.1007/978-3-642-39634-2_14, doi:10.1007/978-3-642-39634-2_14.
5
Vasco Brattka, Stéphane Le Roux, and Arno Pauly. On the computational content of the brouwer fixed point theorem. In How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, 56–67. 2012. URL: https://arxiv.org/abs/1206.4809, doi:10.1007/978-3-642-30870-3_7.
4
Leo Liberti, Stéphane Le Roux, Jeremy Leconte, and Fabrizio Marinelli. Mathematical programming based debugging. Electronic Notes in Discrete Mathematics, 36:1311–1318, 2010. URL: http://dx.doi.org/10.1016/j.endm.2010.05.166, doi:10.1016/j.endm.2010.05.166.
3
Stéphane Le Roux. Acyclic preferences and existence of sequential nash equilibria: A formal and constructive equivalence. In Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, 293–309. 2009. URL: http://dx.doi.org/10.1007/978-3-642-03359-9_21, doi:10.1007/978-3-642-03359-9_21.
2
Stéphane Le Roux. Graphs and path equilibria. In Algorithmic Aspects in Information and Management, 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings, 247–258. 2008. URL: http://dx.doi.org/10.1007/978-3-540-68880-8_24, doi:10.1007/978-3-540-68880-8_24.
1
Stéphane Le Roux and Martin Ziegler. Singular coverings and non-uniform notions of closed set computability. Electr. Notes Theor. Comput. Sci., 202:73–88, 2008. URL: http://dx.doi.org/10.1016/j.entcs.2008.03.009, doi:10.1016/j.entcs.2008.03.009.

Other

6
Georges Gonthier and Stéphane Le Roux. An ssreflect tutorial. Research report inria-00407778, INRIA, 2009.
5
Stéphane Le Roux. Generalisation and formalisation in game theory. PhD thesis, École Normale Supérieure de Lyon, January 2008. URL: http://www.ens-lyon.fr/LIP/Pub/Rapports/PhD/PhD2008/PhD2008-01.pdf.
4
Stéphane Le Roux. Non-determinism and Nash equilibria for sequential game over partial order. In Computational Logic and Applications, CLA '05, Discrete Mathematics & Theoretical Computer Science. 2006. URL: https://www.dmtcs.org/pdfpapers/dmAF0106.pdf.
3
Stéphane Le Roux, Pierre Lescanne, and René Vestergaard. A discrete Nash theorem with quadratic complexity and dynamic equilibria. Research report IS-RR-2006-006, Japan Advanced Institute of Science and Technology, 2006.
2
Stéphane Le Roux. Résolution d'équations dans des calculs interprétant la logique classique. Master's thesis, École Normale Supérieure de Lyon, July 2004. URL: http://www.ens-lyon.fr/LIP/Pub/Rapports/DEA/DEA2004/DEA2004-03.pdf.
1
Stéphane Le Roux and Pierre Lescanne. Solving equations in a language with control operators. In 18th International Workshop on Unification. June 2004. URL: https://www.irif.fr/~treinen/unif/past/unif04/papers/lescanne.pdf.