| 2026 | AAAI | Learning DFAs from Positive Examples Only via Word Counting. | Benjamin Bordais, Daniel Neider |
| 2026 | ICALP | Multi-Environment MDPs with Prior and Universal Semantics. | Benjamin Bordais, Jean-Franois Raskin |
| 2026 | IJCAR | Learning Computation Tree Logic with Neural Networks. | Benjamin Bordais, Daniel Neider, Mustafa Yaliner |
| 2025 | JELIA | A Framework for Computing Upper Bounds in Passive Learning Settings. | Benjamin Bordais, Daniel Neider |
| 2025 | STACS | The Complexity of Learning LTL, CTL and ATL Formulas. | Benjamin Bordais, Daniel Neider, Rajarshi Roy |
| 2024 | CSL | From Local to Global Optimality in Concurrent Parity Games. | Benjamin Bordais, Patricia Bouyer, Stphane Le Roux |
| 2024 | FM | Learning Branching-Time Properties in CTL and ATL via Constraint Solving. | Benjamin Bordais, Daniel Neider, Rajarshi Roy |
| 2023 | FOSSACS | Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives. | Benjamin Bordais, Patricia Bouyer, Stphane Le Roux |
| 2022 | CSL | Optimal Strategies in Concurrent Reachability Games. | Benjamin Bordais, Patricia Bouyer, Stphane Le Roux |
| 2022 | ICALP | Strategy Synthesis for Global Window PCTL. | Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-Franois Raskin |