1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2025
A framework for computing upper bounds in passive learning settings
Benjamin Bordais, Daniel Neider
The task of inferring logical formulas from examples has garnered significant attention as a means to assist engineers in creating formal specifications used in the design, synthes…
cs.LO2024★ 1 cited
Learning Branching-Time Properties in CTL and ATL via Constraint Solving
Benjamin Bordais, Daniel Neider, Rajarshi Roy
We address the problem of learning temporal properties from the branching-time behavior of systems. Existing research in this field has mostly focused on learning linear temporal p…
cs.GT2023★ 1 cited
Sub-game optimal strategies in concurrent games with prefix-independent objectives
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
We investigate concurrent two-player win/lose stochastic games on finite graphs with prefix-independent objectives. We characterize subgame optimal strategies and use this characte…