4 citations · 6 across the 5 of their papers we have counts for
3 papers · 1 filter
Neural Continuous-Time Supermartingale Certificates
Grigory Neustroev, Mirco Giacobbe, Anna Lukina
We introduce for the first time a neural-certificate framework for continuous-time stochastic dynamical systems. Autonomous learning systems in the physical world demand continuous…
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…