2 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Multi-Environment MDPs with Prior and Universal Semantics
Benjamin Bordais, Jean-François Raskin
Multiple-environment Markov decision processes (MEMDPs) equip an MDP with several probabilistic transition functions (one per possible environment) so that the state is observable…
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.LO2022
Strategy Synthesis for Global Window PCTL
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha +1
Given a Markov decision process (MDP) and a formula , the strategy synthesis problem asks if there exists a strategy s.t. the resulting Markov chain satisfies …