Benjamin Bordais

26 papers A* 2A 1B 3Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2026 A* conf
Learning DFAs from Positive Examples Only via Word Counting.
AAAI
Benjamin Bordais, Daniel Neider
2026 J jnl
Multi-Environment MDPs with Prior and Universal Semantics.
CoRR
Benjamin Bordais, Jean-François Raskin
2025 — conf
A Framework for Computing Upper Bounds in Passive Learning Settings.
JELIA (2)
Benjamin Bordais, Daniel Neider
2025 J jnl
A framework for computing upper bounds in passive learning settings.
CoRR
Benjamin Bordais, Daniel Neider
2025 J jnl
Learning DFAs from Positive Examples Only via Word Counting.
CoRR
Benjamin Bordais, Daniel Neider
2025 A conf
The Complexity of Learning LTL, CTL and ATL Formulas.
STACS
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024 B conf
From Local to Global Optimality in Concurrent Parity Games.
CSL
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2024 — conf
Learning Branching-Time Properties in CTL and ATL via Constraint Solving.
FM (1)
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024 J jnl
Learning Branching-Time Properties in CTL and ATL via Constraint Solving.
CoRR
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024 J jnl
The Complexity of Learning Temporal Properties.
CoRR
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2023 — —
Concurrent two-player antagonistic games on graphs. (Jeux concurrents à deux joueurs antagonistes sur les graphes).
Benjamin Bordais
2023 J jnl
From Local To Global Optimality in Concurrent Parity Games.
CoRR
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2023 J jnl
Learning Temporal Properties is NP-hard.
CoRR
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2023 J jnl
Sub-game optimal strategies in concurrent games with prefix-independent objectives.
CoRR
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2023 B conf
Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives.
FoSSaCS
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2022 B conf
Optimal Strategies in Concurrent Reachability Games.
CSL
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2022 — conf
Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games.
FSTTCS
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2022 J jnl
Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games.
CoRR
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2022 A* conf
Strategy Synthesis for Global Window PCTL.
ICALP
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin
2022 J jnl
Strategy Synthesis for Global Window PCTL.
CoRR
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin
2021 — conf
From Local to Global Determinacy in Concurrent Graph Games.
FSTTCS
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2021 J jnl
From local to global determinacy in concurrent graph games.
CoRR
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2021 J jnl
Optimal strategies in concurrent reachability games.
CoRR
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2019 — conf
Expected Window Mean-Payoff.
FSTTCS
Benjamin Bordais, Shibashis Guha, Jean-François Raskin
2019 — conf
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking.
RSSRail
Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur
2018 J jnl
Expected Window Mean-Payoff.
CoRR
Benjamin Bordais, Shibashis Guha, Jean-François Raskin