Benjamin BORDAIS

Doctorant

Depuis le 1er septembre 2020, je suis en thèse sous la direction de Patricia BOUYER et Stéphane LE ROUX. Mon domaine de recherche est la théorie des jeux, plus particulièrement les jeux concurrents sur les graphes. Je m'intérèsse en particulier à comment des restrictions sur les intéractions locales qui interviennent dans les jeux peuvent permettre d'établir des résultats de détermination et d'existence de stratégie optimale dans ces jeux concurrents.

Liste de mes publications

Pendant ma thèse

  • [Accepté CSL 2022] B. Bordais, P. Bouyer, S. Le Roux
    Optimal strategies in concurrent reachability games [Version Publiée] [Arxiv version]
  • [FSTTCS 2021] B. Bordais, P. Bouyer, S. Le Roux
    From local to global determinacy in concurrent graph games [Version publiée] [Version ArXiv]

    Avant ma thèse

  • [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].

    Enseignment (2021-2022)

    Complexité avancée - M1 - MPRI (Anglais)

    Complexité - L3 - Français

    Algorithmique - L3 - Français

    Enseignement (2020-2021)

    Complexité avancée - M1 - MPRI (Anglais)

    Complexité - L3 (Français)

  • À propos du LSV

        

    Contact

    Adresse
    LSV, CNRS & ENS Paris-Saclay
    61, avenue du Président Wilson
    94235 CACHAN Cedex, France
    Bureau
    Bâtiment Nord, bureau 1S63
    Tél.
    +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 (point) fr