iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://hal.inria.fr/search/index/q/*/authIdHal_s/stephane-le-roux
Recherche - Inria - Institut national de recherche en sciences et technologies du numérique

Filtrer vos résultats

18 résultats
authIdHal_s : stephane-le-roux
Page :
triés par
Image document

Acyclicity of preferences, Nash equilibria, and subgame perfect equilibria : a formal and constructive equivalence

 Stéphane Le Roux
[Research Report] LIP RR-2007-18, Laboratoire de l'informatique du parallélisme. 2007, 2+37p
Rapport hal-02102600v1
Image document

Acyclicity and Finite Linear Extendability: a Formal and Constructive Equivalence.

 Stéphane Le Roux
[Research Report] LIP RR-2007-14, Laboratoire de l'informatique du parallélisme. 2007, 2+22p
Rapport hal-02102002v1
Image document

Existence of Nash Equilibria in 2-Player Simultaneous Games and Priority Games Proven in Isabelle

 Jan-Georg Smaus , Érik Martin-Dorel , Stéphane Le Roux
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning. Satellite Workshop of AAMAS 2021, 2021, pp.3
Autre publication hal-04627821v1

Finite-Memory Strategies in Two-Player Infinite Games

 Patricia Bouyer , Stéphane Le Roux , Nathan Thomasset
CSL'22, Feb 2022, on line, Germany. ⟨10.4230/LIPIcs.CSL.2022.8⟩
Communication dans un congrès hal-03654358v1
Image document

Graphs and Path Equilibria

 Stéphane Le Roux
[Research Report] 2007, pp.41
Rapport inria-00195379v1

From Local to Global Determinacy in Concurrent Graph Games

 Benjamin Bordais , Patricia Bouyer , Stéphane Le Roux
FSTTCS'21, Dec 2021, on line, India. ⟨10.4230/LIPIcs.FSTTCS.2021.41⟩
Communication dans un congrès hal-03641392v1

Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games

 Benjamin Bordais , Patricia Bouyer , Stéphane Le Roux
FSTTCS'22, Dec 2022, Chennai (India), France. pp.33:1--33:18, ⟨10.4230/LIPIcs.FSTTCS.2022.33⟩
Communication dans un congrès hal-04236264v1
Image document

Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy

 Stéphane Le Roux
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.147-163, ⟨10.1007/978-3-319-28678-5_11⟩
Communication dans un congrès hal-01446258v1
Image document

Non-Determinism and Nash Equilibria for Sequential Game over Partial Order

 Stéphane Le Roux
Computational Logic and Applications, CLA '05, 2005, Chambéry, France. pp.77-86, ⟨10.46298/dmtcs.3468⟩
Communication dans un congrès hal-01183332v1

Formalization of an existence theorem of Nash equilibrium in Coq and Isabelle (Journées FAC 2017)

 Stéphane Le Roux , Érik Martin-Dorel , Jan-Georg Smaus
Journées FAC 2017, Groupe IFSE du RTRA STAE, Mar 2017, Toulouse, France
Communication dans un congrès hal-03131861v1
Image document

Existence of Nash Equilibria in Preference Priority Games Proven in Isabelle

 Jan-Georg Smaus , Stéphane Le Roux , Érik Martin-Dorel
Kurt Gödel Day and Czech Gathering of Logicians Brno, 2021, 2021, pp.3
Autre publication hal-04627826v1

From Local to Global Optimality in Concurrent Parity Games

 Benjamin Bordais , Patricia Bouyer , Stéphane Le Roux
CSL'24, Feb 2024, Naples, Italy, Italy. ⟨10.4230/LIPIcs.CSL.2024.18⟩
Communication dans un congrès hal-04757585v1
Image document

Discrete Non Neterminism and Nash Equilibria for Strategy-Based Games

 Stéphane Le Roux
[Research Report] 2007
Rapport inria-00195397v1
Image document

A Machine-Checked Proof of the Odd Order Theorem

 Georges Gonthier , Andrea Asperti , Jeremy Avigad , Yves Bertot , Cyril Cohen , et al.
ITP 2013, 4th Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. pp.163-179, ⟨10.1007/978-3-642-39634-2_14⟩
Communication dans un congrès hal-00816699v1

Optimal strategies in concurrent reachability games

 Benjamin Bordais , Patricia Bouyer , Stéphane Le Roux
CSL'22, Feb 2022, on line, Germany. ⟨10.4230/LIPIcs.CSL.2022.7⟩
Communication dans un congrès hal-03807546v1
Image document

Acyclicity of Preferences, Nash Equilibria, and Subgame Perfect Equilibria: a Formal and Constructive Equivalence

 Stéphane Le Roux
[Research Report] 2007, pp.41
Rapport inria-00148103v1
Image document

Conversion/Preference Games

 Stéphane Le Roux , Pierre Lescanne , René Vestergaard
2008
Pré-publication, Document de travail ensl-00333708v2

An Existence Theorem of Nash Equilibrium in Coq and Isabelle

 Stéphane Le Roux , Érik Martin-Dorel , Jan-Georg Smaus
8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017), Sep 2017, Rome, Italy. pp.46-60, ⟨10.4204/EPTCS.256.4⟩
Communication dans un congrès hal-03434697v1
Page :