Alessandro Abate
University of Oxford
H-index: 44
Europe-United Kingdom
Top articles of Alessandro Abate
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Control design of discrete-time unicycle model using satisfiability modulo theory | Systems Science & Control Engineering | Dieky Adzkiya Muhammad Syifa'ul Mufid Febrianti Silviana Saputri Alessandro Abate | 2024/12/31 |
Smart abstraction of dynamical systems via a Cantor-Kantorovich distance between Markov chains | Adrien Banse Licio Romao Alessandro Abate Raphaël M Jungers UCLouvain ICTEAM | 2024 | |
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis | Proceedings of the AAAI Conference on Artificial Intelligence | Rohan Mitta Hosein Hasanbeig Jun Wang Daniel Kroening Yiannis Kantaros | 2024/3/24 |
Safe Reach Set Computation via Neural Barrier Certificates | arXiv preprint arXiv:2404.18813 | Alessandro Abate Sergiy Bogomolov Alec Edwards Kostiantyn Potomkin Sadegh Soudjani | 2024/4/29 |
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions | Proceedings of the AAAI Conference on Artificial Intelligence | Virginie Debauche Alec Edwards Raphaël M Jungers Alessandro Abate | 2024/3/24 |
Probabilistic Reach-Avoid for Bayesian Neural Networks | Artificial Intelligence | Matthew Wicker Luca Laurenti Andrea Patane Nicola Paoletti Alessandro Abate | 2024/4/17 |
Distributionally Robust Aggregation of Electric Vehicle Flexibility | Authorea Preprints | Karan Mukhi Chengrui Qu Alessandro Abate | 2024/3/14 |
Data-driven Interval MDP for Robust Control Synthesis | arXiv preprint arXiv:2404.08344 | Rudi Coppola Andrea Peruffo Licio Romao Alessandro Abate Manuel Mazo Jr | 2024/4/12 |
Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification | arXiv preprint arXiv:2403.06854 | Joar Skalse Alessandro Abate | 2024/3/11 |
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions | arXiv preprint arXiv:2404.01726 | Thom Badings Licio Romao Alessandro Abate Nils Jansen | 2024/4/2 |
Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers | arXiv preprint arXiv:2401.15838 | Alexandros E Tzikas Licio Romao Mert Pilanci Alessandro Abate Mykel J Kochenderfer | 2024/1/29 |
Reasoning about Causality in Games (Abstract Reprint) | Proceedings of the AAAI Conference on Artificial Intelligence | Lewis Hammond James Fox Tom Everitt Ryan Carey Alessandro Abate | 2024/3/24 |
On Imperfect Recall in Multi-Agent Influence Diagrams | James Fox Matt MacDermott Lewis Hammond Paul Harrenstein Alessandro Abate | 2023/7/11 | |
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models | arXiv preprint arXiv:2311.09793 | Alec Edwards Andrea Peruffo Alessandro Abate | 2023/11/16 |
Probabilities are not enough: Formal controller synthesis for stochastic dynamical models with epistemic uncertainty | Proceedings of the AAAI Conference on Artificial Intelligence | Thom Badings Licio Romao Alessandro Abate Nils Jansen | 2023/6/26 |
Distributionally robust optimal and safe control of stochastic systems via kernel conditional mean embedding | Licio Romao Ashish R Hota Alessandro Abate | 2023/12/13 | |
Grid-free computation of probabilistic safety with malliavin calculus | IEEE Transactions on Automatic Control | Francesco Cosentino Harald Oberhauser Alessandro Abate | 2023/1/24 |
Robust Abstraction-Based Planning in Stochastic Dynamical Models with Epistemic Uncertainty | TS Badings Licio Romao Alessandro Abate Nils Jansen | 2023 | |
Synthesising programs with non-trivial constants | Journal of Automated Reasoning | Alessandro Abate Haniel Barbosa Clark Barrett Cristina David Pascal Kesseli | 2023/6 |
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions | arXiv preprint arXiv:2311.09786 | Thom Badings Nils Jansen Licio Romao Alessandro Abate | 2023/11/16 |