4 papers · 1 filter
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…
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…
The Complexity of Learning Temporal Properties
Benjamin Bordais, Daniel Neider, Rajarshi Roy
We consider the problem of learning temporal logic formulas from examples of system behavior. Learning temporal properties has crystallized as an effective mean to explain complex…
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…