Abate, Alessandro

38 publications

L4DC 2025 Data-Driven yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate

ICLR 2025 DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier, Alessandro Abate

AAAI 2025 Partial Identifiability in Inverse Reinforcement Learning for Agents with Non-Exponential Discounting Joar Max Viktor Skalse, Alessandro Abate

IJCAI 2025 SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL Jacques Cloete, Nikolaus Vertovec, Alessandro Abate

L4DC 2025 Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Ibon Gracia, Luca Laurenti, Manuel Mazo Jr, Alessandro Abate, Morteza Lahijanian

NeurIPS 2025 Temporal-Difference Variational Continual Learning Luckeciano Carvalho Melo, Alessandro Abate, Yarin Gal

ICML 2025 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

L4DC 2024 Bounded Robustness in Reinforcement Learning via Lexicographic Objectives Daniel Jarne Ornia, Licio Romao, Lewis Hammond, Manuel Mazo Jr, Alessandro Abate

NeurIPS 2024 Deep Bayesian Active Learning for Preference Modeling in Large Language Models Luckeciano C. Melo, Panagiotis Tigas, Alessandro Abate, Yarin Gal

ICMLW 2024 Games for AI-Control: Models of Safety Evaluations of AI Deployment Protocols Charlie Griffin, Buck Shlegeris, Alessandro Abate

L4DC 2024 Learning Robust Policies for Uncertain Parametric Markov Decision Processes Luke Rickard, Alessandro Abate, Kostas Margellos

L4DC 2024 Learning-Based Rigid Tube Model Predictive Control Yulong Gao, Shuhao Yan, Jian Zhou, Mark Cannon, Alessandro Abate, Karl Henrik Johansson

ICLR 2024 Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification Joar Max Viktor Skalse, Alessandro Abate

AAAI 2024 Reasoning About Causality in Games (Abstract Reprint) Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge

ICLR 2024 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

AAAI 2024 Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate

AAAI 2024 Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions Virginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate

JAIR 2024 Symbolic Task Inference in Deep Reinforcement Learning Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening

UAI 2024 Walking the Values in Bayesian Inverse Reinforcement Learning Ondrej Bajgar, Alessandro Abate, Konstantinos Gatsis, Michael Osborne

L4DC 2023 Data-Driven Memory-Dependent Abstractions of Dynamical Systems Adrien Banse, Licio Romao, Alessandro Abate, Raphael Jungers

ICML 2023 Invariance in Policy Optimisation and Partial Identifiability in Reward Learning Joar Max Viktor Skalse, Matthew Farrugia-Roberts, Stuart Russell, Alessandro Abate, Adam Gleave

AAAI 2023 Low Emission Building Control with Zero-Shot Reinforcement Learning Scott R. Jeen, Alessandro Abate, Jonathan M. Cullen

AAAI 2023 Misspecification in Inverse Reinforcement Learning Joar Skalse, Alessandro Abate

UAI 2023 On the Limitations of Markovian Rewards to Express Multi-Objective, Risk-Sensitive, and Modal Tasks Joar Skalse, Alessandro Abate

L4DC 2023 Policy Evaluation in Distributional LQR Zifan Wang, Yulong Gao, Siyi Wang, Michael M. Zavlanos, Alessandro Abate, Karl Henrik Johansson

AAAI 2023 Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen

JAIR 2023 Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen

NeurIPSW 2022 All’s Well That Ends Well: Avoiding Side Effects with Distance-Impact Penalties Charlie Griffin, Joar Max Viktor Skalse, Lewis Hammond, Alessandro Abate

IJCAI 2022 Lexicographic Multi-Objective Reinforcement Learning Joar Skalse, Lewis Hammond, Charlie Griffin, Alessandro Abate

NeurIPSW 2022 Misspecification in Inverse Reinforcement Learning Joar Max Viktor Skalse, Alessandro Abate

NeurIPS 2022 Neural Abstractions Alessandro Abate, Alec Edwards, Mirco Giacobbe

NeurIPSW 2022 Risk-Aware Bayesian Reinforcement Learning for Cautious Exploration Rohan Narayan Langford Mitta, Hosein Hasanbeig, Daniel Kroening, Alessandro Abate

AAAI 2022 Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga

NeurIPSW 2022 System III: Learning with Domain Knowledge for Safety Constraints Fazl Barez, Hosein Hasanbeig, Alessandro Abate

NeurIPSW 2022 The Reward Hypothesis Is False Joar Max Viktor Skalse, Alessandro Abate

UAI 2021 Certification of Iterative Predictions in Bayesian Neural Networks Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska

AAAI 2021 DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening

NeurIPS 2020 A Randomized Algorithm to Reduce the Support of Discrete Measures Francesco Cosentino, Harald Oberhauser, Alessandro Abate