4 citations · 6 across the 5 of their papers we have counts for
4 papers · 1 filter
Optimizing Minimax Regret in Uncertain MDPs with Small Sets of Policies
Sterre Lutz, Daniël Vos, Matthijs T. J. Spaan +1
Sequential decision-making in real-world applications often involves uncertainty about the environment's model. Uncertain Markov decision processes (UMDPs) represent the possible e…
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
Sterre Lutz, Matthijs T. J. Spaan, Anna Lukina
Autonomous systems operating in the real world encounter a range of uncertainties. Probabilistic neural Lyapunov certification is a powerful approach to proving safety of nonlinear…
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
Emir Demirović, Christian Schilling, Anna Lukina
Decision trees, owing to their interpretability, are attractive as control policies for (dynamical) systems. Unfortunately, constructing, or synthesising, such policies is a challe…
Composing Reinforcement Learning Policies, with Formal Guarantees
Florent Delgrange, Guy Avni, Anna Lukina +3
We propose a novel framework to controller design in environments with a two-level structure: a known high-level graph ("map") in which each vertex is populated by a Markov decisio…