32 citations · 43 across the 20 of their papers we have counts for
4 papers · 1 filter
Data-driven memory-dependent abstractions of dynamical systems
Adrien Banse, Licio Romao, Alessandro Abate +1
We propose a sample-based, sequential method to abstract a (potentially black-box) dynamical system with a sequence of memory-dependent Markov chains of increasing size. We show th…
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
Luke Rickard, Thom Badings, Licio Romao +1
Automated synthesis of provably correct controllers for cyber-physical systems is crucial for deployment in safety-critical scenarios. However, hybrid features and stochastic or un…
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
Thom Badings, Licio Romao, Alessandro Abate +1
Capturing uncertainty in models of complex dynamical systems is crucial to designing safe controllers. Stochastic noise causes aleatoric uncertainty, whereas imprecise knowledge of…
Bounded Robustness in Reinforcement Learning via Lexicographic Objectives
Daniel Jarne Ornia, Licio Romao, Lewis Hammond +2
Policy robustness in Reinforcement Learning may not be desirable at any cost: the alterations caused by robustness requirements from otherwise optimal policies should be explainabl…