Romao, Licio

5 publications

L4DC 2024 Bounded Robustness in Reinforcement Learning via Lexicographic Objectives Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr, Alessandro Abate

L4DC 2023 Data-Driven Memory-Dependent Abstractions of Dynamical Systems Adrien Banse, Licio Romao, Alessandro Abate, Raphael Jungers

AAAI 2023 Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen

JAIR 2023 Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen

L4DC 2021 Tight Sampling and Discarding Bounds for Scenario Programs with an Arbitrary Number of Removed Samples Licio Romao, Kostas Margellos, Antonis Papachristodoulou