3 citations · 4 across the 2 of their papers we have counts for
3 papers
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…
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…
Subgradient averaging for multi-agent optimisation with different constraint sets
Licio Romao, Kostas Margellos, Giuseppe Notarstefano +1
We consider a multi-agent setting with agents exchanging information over a possibly time-varying network, aiming at minimising a separable objective function subject to constraint…