Benjamin BORDAIS

Former PhD Student

Between September 1st, 2020 and September 2023, I have been a PhD student under the supervision of Patricia BOUYER and Stéphane LE ROUX. The topic of PhD is game theory, more specifically, concurrent games on graphs. I am especially interested in how we can restrict the local interactions appearing in games to obtain the largest class of concurrent games (in a specific sense) that enjoy a given kind of desirable property (e.g. existence of optimal strategies in reachability games).

I have defended my PhD in October 12th, 2023.

Since October 15th, 2023 I am a Post-Doctoral researcher at RC Trust in Dortmund, Germany, mostly working with Daniel Neider. Currently, I am working on passive learning with temporal logics such as LTL, CTL and ATL.

My new email adress is firstname.lastname@tu-dortmund.de

My PhD thesis

My PhD thesis is available here.

List of publications

During my Post-Doc

  • A work in progress that should be submitted in April 2024.
    B. Bordais, D. Neider, R. Roy
    Learning temporal properties in NP-hard [Work in progress (arXiv)]

    Related to my PhD

  • [CSL 2024] B. Bordais, P. Bouyer, S. Le Roux
    From Local to Global Optimality in Concurrent Parity Games [Published Version] [Extended Version (arXiv)]
  • [FoSSaCs 2023] B. Bordais, P. Bouyer, S. Le Roux
    Subgame optimal strategies in finite concurrent games with prefix-independent objectives [Published Version] [Extended version (arXiv)]
  • [FSTTCS 2022] B. Bordais, P. Bouyer, S. Le Roux
    Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games [Published Version] [Extended Version (arXiv)]
  • [CSL 2022] B. Bordais, P. Bouyer, S. Le Roux
    Optimal strategies in concurrent reachability games [Published Version] [Extended version (arXiv)]
  • [FSTTCS 2021] B. Bordais, P. Bouyer, S. Le Roux
    From local to global determinacy in concurrent graph games [Published version] [Extended version (arXiv)]

    Unrelated to my PhD (before/during my PhD)

  • [ICALP 2022] B. Bordais, D. Busatto-Gaston, S. Guha, J-F. Raskin.
    Strategy Synthesis for Global Window PCTL [Published version] [ Extended version (arXiv)].
  • [FSTTCS 2019] B. Bordais, S. Guha, J-F. Raskin.
    Expected Window Mean Payoff [Published version] [Extended version (arXiv)].
  • [RSSRail 2019] N. Bertrand, B. Bordais, L. Hélouët, T. Mari, J. Parreaux, O. Sankur.
    Performance Evaluation of Metro Regulations Using Probabilistic Model-checking [pdf].

    Teaching (2021-2022)

    Advanced Complexity - M1 - MPRI (English)

    Complexity - L3 - French

    Algorithmics - L3 - French

    Teaching (2020-2021)

    Advanced Complexity - M1 - MPRI (English)

    Complexity - L3 (French)

  • About LSV

        

    Contact

    Address
    LSV, CNRS & ENS Paris-Saclay
    61, avenue du Président Wilson
    94235 CACHAN Cedex, France
    Office
    Bâtiment Nord, office 1S63
    Phone
    +33 (0)1 47 40 75 20
    Fax
    +33 (0)1 47 40 75 21
    Secr.
    +33 (0)1 47 40 75 20
    E-Mail
    bordais (at) lsv (dot) fr