| 2026 | AAAI | Best-Effort Policies for Robust Markov Decision Processes. | Alessandro Abate, Thom Badings, Giuseppe De Giacomo, Francesco Fabiano |
| 2026 | AAAI | Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint). | Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening |
| 2026 | AAAI | Incremental Data-Driven Policy Synthesis via Game Abstractions. | Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck |
| 2026 | AAAI | Efficient Solution and Learning of Robust Factored MDPs. | Yannik Schnitzer, Alessandro Abate, David Parker |
| 2026 | LICS | Complete ω-Regular Supermartingale Certificates. | Alessandro Abate, Mirco Giacobbe, Sergey Ichtchenko, Diptarko Roy |
| 2025 | AAAI | Partial Identifiability in Inverse Reinforcement Learning for Agents with Non-Exponential Discounting. | Joar Max Viktor Skalse, Alessandro Abate |
| 2025 | CAV | Branching Bisimulation Learning. | Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer |
| 2025 | CAV | Quantitative Supermartingale Certificates. | Alessandro Abate, Mirco Giacobbe, Diptarko Roy |
| 2025 | ECAI | Neural Proofs for Sound Verification and Control of Complex Systems. | Alessandro Abate |
| 2025 | ECAI | Partition Equilibria in Weighted Singleton Congestion Games. | Wei-Chen Lee, Alessandro Abate, Michael J. Wooldridge |
| 2025 | ICLR | DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL. | Mathias Jackermeier, Alessandro Abate |
| 2025 | ICML | The Perils of Optimizing Learned Reward Functions: Low Training Error Does Not Guarantee Low Regret. | Lukas Fluri, Leon Lang, Alessandro Abate, Patrick Forr, David Krueger, Joar Max Viktor Skalse |
| 2025 | IJCAI | SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL. | Jacques Cloete, Nikolaus Vertovec, Alessandro Abate |
| 2025 | SETTA | Risk-Averse Certification of Bayesian Neural Networks. | Xiyue Zhang, Zifan Wang, Yulong Gao, Licio Romao, Alessandro Abate, Marta Kwiatkowska |
| 2025 | TACAS | Certifiably Robust Policies for Uncertain Parametric Environments. | Yannik Schnitzer, Alessandro Abate, David Parker |
| 2024 | AAAI | Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions. | Virginie Debauche, Alec Edwards, Raphal M. Jungers, Alessandro Abate |
| 2024 | AAAI | Reasoning about Causality in Games (Abstract Reprint). | Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge |
| 2024 | AAAI | Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. | Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate |
| 2024 | CAV | Stochastic Omega-Regular Verification and Control with Supermartingales. | Alessandro Abate, Mirco Giacobbe, Diptarko Roy |
| 2024 | CAV | Bisimulation Learning. | Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer |
| 2024 | ICLR | Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification. | Joar Max Viktor Skalse, Alessandro Abate |
| 2024 | ICLR | STARC: A General Framework For Quantifying Differences Between Reward Functions. | Joar Max Viktor Skalse, Lucy Farnik, Sumeet Ramesh Motwani, Erik Jenner, Adam Gleave, Alessandro Abate |
| 2024 | UAI | Walking the Values in Bayesian Inverse Reinforcement Learning. | Ondrej Bajgar, Alessandro Abate, Konstantinos Gatsis, Michael A. Osborne |
| 2023 | AAAI | Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. | Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen |
| 2023 | AAAI | Low Emission Building Control with Zero-Shot Reinforcement Learning. | Scott R. Jeen, Alessandro Abate, Jonathan M. Cullen |
| 2023 | AAAI | Misspecification in Inverse Reinforcement Learning. | Joar Skalse, Alessandro Abate |
| 2023 | CONCUR | Quantitative Verification with Neural Networks. | Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy |
| 2023 | ECAI | Learning Task Automata for Reinforcement Learning Using Hidden Markov Models. | Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge |
| 2023 | ICML | Invariance in Policy Optimisation and Partial Identifiability in Reward Learning. | Joar Max Viktor Skalse, Matthew Farrugia-Roberts, Stuart Russell, Alessandro Abate, Adam Gleave |
| 2023 | UAI | On the limitations of Markovian rewards to express multi-objective, risk-sensitive, and modal tasks. | Joar Skalse, Alessandro Abate |
| 2022 | AAAI | Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. | Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Marille Stoelinga |
| 2022 | IJCAI | Lexicographic Multi-Objective Reinforcement Learning. | Joar Skalse, Lewis Hammond, Charlie Griffin, Alessandro Abate |
| 2021 | AAAI | DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. | Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening |
| 2021 | CAV | Learning Probabilistic Termination Proofs. | Alessandro Abate, Mirco Giacobbe, Diptarko Roy |
| 2021 | CONCUR | SMT-Based Model Checking of Max-Plus Linear Systems. | Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti |
| 2021 | UAI | Certification of iterative predictions in Bayesian neural networks. | Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska |
| 2021 | SENSYS | QUILT: quantify, infer and label the thermal efficiency of heating and cooling residential homes. | Joe Brown, Alessandro Abate, Alex Rogers |
| 2021 | TACAS | Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models. | Andrea Peruffo, Daniele Ahmed, Alessandro Abate |
| 2020 | SENSYS | SMITE: Using Smart Meters to Infer the Thermal Efficiency of Residential Homes. | Joe Brown, Jonathan Chambers, Alessandro Abate, Alex Rogers |
| 2020 | TACAS | Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. | Daniele Ahmed, Andrea Peruffo, Alessandro Abate |
| 2019 | FM | Bayesian Verification of Chemical Reaction Networks. | Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate |
| 2019 | TACAS | \mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes. | Nathalie Cauchi, Alessandro Abate |
| 2018 | CAV | Counterexample Guided Inductive Synthesis Modulo Theories. | Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen |
| 2017 | CAV | Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. | Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen |
| 2017 | CAV | Sound Numerical Computations in Abstract Acceleration. | Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening |
| 2017 | FOSSACS | On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. | Gaoang Bian, Alessandro Abate |
| 2017 | MEMOCODE | Formal verification of complex systems: model-based and data-driven methods. | Alessandro Abate |
| 2017 | SENSYS | Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. | Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Marille Stoelinga |
| 2016 | ATVA | Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. | Alessandro Abate, Milan Ceska, Marta Kwiatkowska |
| 2016 | CAV | Verification of Networks of Smart Energy Systems over the Cloud. | Alessandro Abate |
| 2016 | TACAS | Safety Verification of Continuous-Space Pure Jump Markov Processes. | Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate |
| 2015 | CAV | Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. | Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska |
| 2015 | CONCUR | Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar |
| 2015 | SAS | Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration. | Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening |
| 2015 | TACAS | FAUST | Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate |
| 2014 | TACAS | Forward Reachability Computation for Autonomous Max-Plus-Linear Systems. | Dieky Adzkiya, Bart De Schutter, Alessandro Abate |
| 2014 | TACAS | Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance. | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
| 2012 | ATVA | Higher-Order Approximations for Verification of Stochastic Hybrid Systems. | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
| 2007 | BIBE | Quantitative and Probabilistic Modeling in Pathway Logic. | Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari |