Benjamin Bordais

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 17

Top Topics

Global Optimality

Temporal Properties

Top Venues

Publications

Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From Local to Global Optimality in Concurrent Parity Games. CSL (2024)
Benjamin Bordais, Daniel Neider, Rajarshi Roy
Learning Branching-Time Properties in CTL and ATL via Constraint Solving. CoRR (2024)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives. FoSSaCS (2023)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From Local To Global Optimality in Concurrent Parity Games. CoRR (2023)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Sub-game optimal strategies in concurrent games with prefix-independent objectives. CoRR (2023)
Benjamin Bordais, Daniel Neider, Rajarshi Roy
Learning Temporal Properties is NP-hard. CoRR (2023)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games. FSTTCS (2022)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games. CoRR (2022)
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin
Strategy Synthesis for Global Window PCTL. ICALP (2022)
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin
Strategy Synthesis for Global Window PCTL. CoRR (2022)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Optimal Strategies in Concurrent Reachability Games. CSL (2022)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From Local to Global Determinacy in Concurrent Graph Games. FSTTCS (2021)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From local to global determinacy in concurrent graph games. CoRR (2021)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Optimal strategies in concurrent reachability games. CoRR (2021)
Benjamin Bordais, Shibashis Guha, Jean-François Raskin
Expected Window Mean-Payoff. FSTTCS (2019)
Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. RSSRail (2019)
Benjamin Bordais, Shibashis Guha, Jean-François Raskin
Expected Window Mean-Payoff. CoRR (2018)