| Robust control for dynamical systems with non-gaussian noise via formal abstractions T Badings, L Romao, A Abate, D Parker, HA Poonawala, M Stoelinga, ... Journal of Artificial Intelligence Research 76, 341-391, 2023 | 42 | 2023 |
| On the exact feasibility of convex scenario programs with discarded constraints L Romao, A Papachristodoulou, K Margellos IEEE Transactions on Automatic Control 68 (4), 1986-2001, 2022 | 32 | 2022 |
| Probabilities are not enough: Formal controller synthesis for stochastic dynamical models with epistemic uncertainty T Badings, L Romao, A Abate, N Jansen Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 14701 …, 2023 | 29 | 2023 |
| Subgradient averaging for multi-agent optimisation with different constraint sets L Romao, K Margellos, G Notarstefano, A Papachristodoulou Automatica 131, 109738, 2021 | 19 | 2021 |
| State-feedback and filtering problems using the generalized KYP lemma LBRR Romao, MC de Oliveira, PLD Peres, RCLF Oliveira 2016 IEEE Conference on Computer Aided Control System Design (CACSD), 1054-1059, 2016 | 18 | 2016 |
| Tight generalization guarantees for the sampling and discarding approach to scenario optimization L Romao, K Margellos, A Papachristodoulou 2020 59th IEEE Conference on Decision and Control (CDC), 2228-2233, 2020 | 12 | 2020 |
| Data-driven memory-dependent abstractions of dynamical systems A Banse, L Romao, A Abate, R Jungers Learning for Dynamics and Control Conference, 891-902, 2023 | 11 | 2023 |
| Distributed actuator selection: Achieving optimality via a primal-dual algorithm L Romao, K Margellos, A Papachristodoulou IEEE control systems letters 2 (4), 779-784, 2018 | 11 | 2018 |
| Data-driven abstractions via adaptive refinements and a Kantorovich metric A Banse, L Romao, A Abate, RM Jungers 2023 62nd IEEE Conference on Decision and Control (CDC), 6038-6043, 2023 | 10 | 2023 |
| Inner approximations of stochastic programs for data-driven stochastic barrier function design FB Mathiesen, L Romao, SC Calvert, A Abate, L Laurenti 2023 62nd IEEE Conference on Decision and Control (CDC), 3073-3080, 2023 | 7 | 2023 |
| Distributionally robust optimal and safe control of stochastic systems via kernel conditional mean embedding L Romao, AR Hota, A Abate 2023 62nd IEEE Conference on Decision and Control (CDC), 2016-2021, 2023 | 7 | 2023 |
| Formal controller synthesis for markov jump linear systems with uncertain dynamics L Rickard, T Badings, L Romao, A Abate International Conference on Quantitative Evaluation of Systems, 10-29, 2023 | 4 | 2023 |
| Probabilistic feasibility guarantees for convex scenario programs with an arbitrary number of discarded constraints L Romao, K Margellos, A Papachristodoulou Automatica 149, 110601, 2023 | 4 | 2023 |
| Observational robustness and invariances in reinforcement learning via lexicographic objectives DJ Ornia, L Romao, L Hammond, M Mazo Jr, A Abate | 4 | 2022 |
| Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples L Romao, K Margellos, A Papachristodoulou Learning for Dynamics and Control, 312-323, 2021 | 4 | 2021 |
| Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets L Romao, K Margellos, G Notarstefano, A Papachristodoulou 2019 IEEE 58th Conference on Decision and Control (CDC), 7448-7453, 2019 | 3 | 2019 |
| A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions T Badings, L Romao, A Abate, N Jansen 2024 European Control Conference (ECC), 564-570, 2024 | 2 | 2024 |
| Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric A Banse, L Romao, A Abate, RM Jungers arXiv preprint arXiv:2405.08353, 2024 | 2 | 2024 |
| Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version] A Banse, L Romao, A Abate, RM Jungers arXiv preprint arXiv:2303.17618, 2023 | 2 | 2023 |
| Non-minimal order low-frequency H∞ filtering for uncertain discrete-time systems LBRR Romão, L Frezzatto, MC de Oliveira, RCLF Oliveira, PLD Peres IFAC-PapersOnLine 50 (1), 6477-6482, 2017 | 2 | 2017 |
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail verificata su cs.ox.ac.uk
