| 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 | 61 | 2023 |
| 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 | 46 | 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 | 36 | 2022 |
| Subgradient averaging for multi-agent optimisation with different constraint sets L Romao, K Margellos, G Notarstefano, A Papachristodoulou Automatica 131, 109738, 2021 | 22 | 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 | 20 | 2016 |
| 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 | 15 | 2023 |
| 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 | 13 | 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 | 12 | 2023 |
| 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 |
| 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 |
| 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 | 10 | 2023 |
| Data-driven Interval MDP for Robust Control Synthesis R Coppola, A Peruffo, L Romao, A Abate, M Mazo Jr arXiv preprint arXiv:2404.08344, 2024 | 7 | 2024 |
| 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 | 7 | 2021 |
| A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution FB Mathiesen, L Romao, SC Calvert, L Laurenti, A Abate arXiv preprint arXiv:2410.06662, 2024 | 5 | 2024 |
| 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 | 5 | 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 | 5 | 2023 |
| Observational robustness and invariances in reinforcement learning via lexicographic objectives DJ Ornia, L Romao, L Hammond, M Mazo Jr, A Abate | 4 | 2022 |
| Bridging conformal prediction and scenario optimization N O'Sullivan, L Romao, K Margellos arXiv preprint arXiv:2503.23561, 2025 | 3 | 2025 |
| Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric A Banse, L Romao, A Abate, RÃĢM Jungers arXiv preprint arXiv:2405.08353, 2024 | 3 | 2024 |
| 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 |
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
