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)