Benjamin Bordais

According to our database, Benjamin Bordais authored at least 13 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Complexity of Learning Temporal Properties.

Benjamin Bordais, Daniel Neider, Rajarshi Roy

CoRR, 2024

Learning Branching-Time Properties in CTL and ATL via Constraint Solving.

Benjamin Bordais, Daniel Neider, Rajarshi Roy

Proceedings of the Formal Methods - 26th International Symposium, 2024

From Local to Global Optimality in Concurrent Parity Games.

Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Concurrent two-player antagonistic games on graphs. (Jeux concurrents à deux joueurs antagonistes sur les graphes).

Benjamin Bordais

PhD thesis, 2023

Learning Temporal Properties is NP-hard.

Benjamin Bordais, Daniel Neider, Rajarshi Roy

CoRR, 2023

Sub-game optimal strategies in concurrent games with prefix-independent objectives.

Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux

CoRR, 2023

Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives.

Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

Strategy Synthesis for Global Window PCTL.

Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games.

Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

Optimal Strategies in Concurrent Reachability Games.

Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

From Local to Global Determinacy in Concurrent Graph Games.

Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

2019

Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking.

Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Expected Window Mean-Payoff.

Benjamin Bordais, Shibashis Guha, Jean-François Raskin

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019