Alessandro Abate

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 256

Top Venues

CoRR

CDC

QEST

IEEE Trans. Autom. Control.

Publications

Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. ECC (2024)
Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate
Bounded robustness in reinforcement learning via lexicographic objectives. L4DC (2024)
Joar Max Viktor Skalse, Alessandro Abate
Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification. ICLR (2024)
Karan Mukhi, Chengrui Qu, Pengcheng You, Alessandro Abate
Distributionally Robust Aggregation of Electric Vehicle Flexibility. CoRR (2024)
Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
Bisimulation Learning. CAV (3) (2024)
Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
Symbolic Task Inference in Deep Reinforcement Learning. J. Artif. Intell. Res. 80 (2024)
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. CoRR (2024)
Alec Edwards, Andrea Peruffo, Alessandro Abate
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. HSCC (2024)
Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Safe Reach Set Computation via Neural Barrier Certificates. CoRR (2024)
Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. AAAI (2024)
Yulong Gao, Shuhao Yan, Jian Zhou, Mark Cannon, Alessandro Abate, Karl Henrik Johansson
Learning-based rigid tube model predictive control. L4DC (2024)
Virginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions. AAAI (2024)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
Stochastic Omega-Regular Verification and Control with Supermartingales. CoRR (2024)
Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr.
Data-driven Interval MDP for Robust Control Synthesis. CoRR (2024)
Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
Bisimulation Learning. CoRR (2024)
Ondrej Bajgar, Alessandro Abate, Konstantinos Gatsis, Michael A. Osborne
Walking the Values in Bayesian Inverse Reinforcement Learning. CoRR (2024)
Joar Max Viktor Skalse, Lucy Farnik, Sumeet Ramesh Motwani, Erik Jenner, Adam Gleave, Alessandro Abate
STARC: A General Framework For Quantifying Differences Between Reward Functions. ICLR (2024)
Luckeciano C. Melo, Panagiotis Tigas, Alessandro Abate, Yarin Gal
Deep Bayesian Active Learning for Preference Modeling in Large Language Models. CoRR (2024)
Yulong Gao, Alessandro Abate, Lihua Xie, Karl Henrik Johansson
Distributional Reachability for Markov Decision Processes: Theory and Applications. IEEE Trans. Autom. Control. 69 (7) (2024)
Luke Rickard, Alessandro Abate, Kostas Margellos
Learning robust policies for uncertain parametric Markov decision processes. L4DC (2024)
Yulong Gao, Karl Henrik Johansson, Alessandro Abate
CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations. HSCC (2024)
Lukas Fluri, Leon Lang, Alessandro Abate, Patrick Forré, David Krueger, Joar Skalse
The Perils of Optimizing Learned Reward Functions: Low Training Error Does Not Guarantee Low Regret. CoRR (2024)
Alexandros E. Tzikas, Licio Romao, Mert Pilanci, Alessandro Abate, Mykel J. Kochenderfer
Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers. CoRR (2024)
Joar Skalse, Alessandro Abate
On the Limitations of Markovian Rewards to Express Multi-Objective, Risk-Sensitive, and Modal Tasks. CoRR (2024)
David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark W. Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette Wing, Joshua B. Tenenbaum
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. CoRR (2024)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. 334 (2024)
Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge
Reasoning about Causality in Games (Abstract Reprint). AAAI (2024)
Joar Skalse, Alessandro Abate
Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification. CoRR (2024)
Alessandro Abate, Mirco Giacobbe, Diptarko Roy
Stochastic Omega-Regular Verification and Control with Supermartingales. CAV (3) (2024)
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric. CoRR (2024)
Joar Skalse, Lucy Farnik, Sumeet Ramesh Motwani, Erik Jenner, Adam Gleave, Alessandro Abate
STARC: A General Framework For Quantifying Differences Between Reward Functions. CoRR (2023)
Zifan Wang, Yulong Gao, Siyi Wang, Michael M. Zavlanos, Alessandro Abate, Karl Henrik Johansson
Policy Evaluation in Distributional LQR. CoRR (2023)
Karan Mukhi, Alessandro Abate
An Exact Characterisation of Flexibility in Populations of Electric Vehicles. CoRR (2023)
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric. CDC (2023)
James Fox, Matt MacDermott, Lewis Hammond, Paul Harrenstein, Alessandro Abate, Michael J. Wooldridge
On Imperfect Recall in Multi-Agent Influence Diagrams. TARK (2023)
Patrick Benjamin, Alessandro Abate
Networked Communication for Decentralised Agents in Mean-Field Games. CoRR (2023)
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
Quantitative Verification with Neural Networks. CONCUR (2023)
Frederik Baymler Mathiesen, Licio Romao, Simeon Craig Calvert, Alessandro Abate, Luca Laurenti
Inner approximations of stochastic programs for data-driven stochastic barrier function design. CoRR (2023)
Licio Romao, Ashish R. Hota, Alessandro Abate
Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding. CoRR (2023)
Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. CoRR (2023)
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Data-driven memory-dependent abstractions of dynamical systems. L4DC (2023)
Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. CoRR (2023)
Alec Edwards, Andrea Peruffo, Alessandro Abate
A General Verification Framework for Dynamical and Control Models via Certificate Synthesis. CoRR (2023)
Luke Rickard, Alessandro Abate, Kostas Margellos
Learning Robust Policies for Uncertain Parametric Markov Decision Processes. CoRR (2023)
Francesco Cosentino, Harald Oberhauser, Alessandro Abate
Grid-Free Computation of Probabilistic Safety With Malliavin Calculus. IEEE Trans. Autom. Control. 68 (10) (2023)
Zifan Wang, Yulong Gao, Siyi Wang, Michael M. Zavlanos, Alessandro Abate, Karl Henrik Johansson
Policy Evaluation in Distributional LQR. L4DC (2023)
Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge
Learning Task Automata for Reinforcement Learning Using Hidden Markov Models. ECAI (2023)
Joar Skalse, Alessandro Abate
Misspecification in Inverse Reinforcement Learning. AAAI (2023)
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]. CoRR (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res. 76 (2023)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR (2023)
Joar Skalse, Alessandro Abate
On the limitations of Markovian rewards to express multi-objective, risk-sensitive, and modal tasks. UAI (2023)
Alec Edwards, Mirco Giacobbe, Alessandro Abate
On the Trade-off Between Efficiency and Precision of Neural Abstraction. CoRR (2023)
Karan Mukhi, Alessandro Abate
An Exact Characterisation of Flexibility in Populations of Electric Vehicles. CDC (2023)
Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
k-Prize Weighted Voting Game. AAMAS (2023)
Alec Edwards, Andrea Peruffo, Alessandro Abate
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. CoRR (2023)
Joar Max Viktor Skalse, Matthew Farrugia-Roberts, Stuart Russell, Alessandro Abate, Adam Gleave
Invariance in Policy Optimisation and Partial Identifiability in Reward Learning. ICML (2023)
Thom S. Badings, Nils Jansen, Licio Romao, Alessandro Abate
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. CoRR (2023)
Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge
Reasoning about Causality in Games. CoRR (2023)
Scott R. Jeen, Alessandro Abate, Jonathan M. Cullen
Low Emission Building Control with Zero-Shot Reinforcement Learning. AAAI (2023)
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani
ARCH-COMP23 Category Report: Stochastic Models. ARCH (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions. CoRR (2023)
Hosein Hasanbeig, Daniel Kroening, Alessandro Abate
Certified reinforcement learning with logic guidance. Artif. Intell. 322 (2023)
Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge
Reasoning about causality in games. Artif. Intell. 320 (2023)
Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli
Synthesising Programs with Non-trivial Constants. J. Autom. Reason. 67 (2) (2023)
Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
k-Prize Weighted Voting Games. CoRR (2023)
Frederik Baymler Mathiesen, Licio Romao, Simeon Craig Calvert, Alessandro Abate, Luca Laurenti
Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design. CDC (2023)
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
Formal Analysis and Verification of Max-Plus Linear Systems. CoRR (2023)
Alec Edwards, Mirco Giacobbe, Alessandro Abate
On the Trade-Off Between Efficiency and Precision of Neural Abstraction. QEST (2023)
Yulong Gao, Shuhao Yan, Jian Zhou, Mark Cannon, Alessandro Abate, Karl Henrik Johansson
Robust Tube Model Predictive Control with Uncertainty Quantification for Discrete-Time Linear Systems. CoRR (2023)
Licio Romao, Ashish R. Hota, Alessandro Abate
Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding. CDC (2023)
Luke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. QEST (2023)
Alessandro Abate, Andrea Marin
Introduction to the Special Issue on QEST 2021. ACM Trans. Model. Comput. Simul. 33 (4) (2023)
Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert
Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications. CoRR (2023)
Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert
Abstracting Linear Stochastic Systems via Knowledge Filtering. CDC (2023)
Alessandro Abate, Alec Edwards, Mirco Giacobbe
Neural Abstractions. CoRR (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. AAAI (2023)
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
Automated verification and synthesis of stochastic hybrid systems: A survey. Autom. 146 (2022)
Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr., Alessandro Abate
Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives. CoRR (2022)
Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge
Learning Task Automata for Reinforcement Learning using Hidden Markov Models. CoRR (2022)
Hosein Hasanbeig, Daniel Kroening, Alessandro Abate
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. CoRR (2022)
Joar Skalse, Matthew Farrugia-Roberts, Stuart Russell, Alessandro Abate, Adam Gleave
Invariance in Policy Optimisation and Partial Identifiability in Reward Learning. CoRR (2022)
Luke Rickard, Thom S. Badings, Licio Romao, Nils Jansen, Alessandro Abate
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. CoRR (2022)
Luca Geretti, Alessandro Abate, Pierluigi Nuzzo, Tiziano Villa
Special issue: Formal verification of cyber-physical systems. Inf. Comput. 289 (Part) (2022)
Joar Skalse, Alessandro Abate
Misspecification in Inverse Reinforcement Learning. CoRR (2022)
Alessandro Abate, Alec Edwards, Mirco Giacobbe
Neural Abstractions. NeurIPS (2022)
Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework. Inf. Comput. 289 (Part) (2022)
Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen
ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP (2022)
Joar Skalse, Lewis Hammond, Charlie Griffin, Alessandro Abate
Lexicographic Multi-Objective Reinforcement Learning. CoRR (2022)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems. IEEE Trans. Autom. Control. 67 (6) (2022)
Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. QEST (2022)
Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Data-driven memory-dependent abstractions of dynamical systems. CoRR (2022)
Alessandro Abate, Uli Fahrenberg, Martin Fränzle
Introduction to the Special Issue on Distributed Hybrid Systems. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems. IEEE Trans. Autom. Control. 67 (10) (2022)
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI (2022)
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. CoRR (2022)
Joar Skalse, Lewis Hammond, Charlie Griffin, Alessandro Abate
Lexicographic Multi-Objective Reinforcement Learning. IJCAI (2022)
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey. CoRR (2021)
Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic. CoRR (2021)
Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge
Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. 51 (9) (2021)

Alessandro Abate.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alessandro Abate