Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Alessandro Abate

Invariance in Policy Optimisation and Partial Identifiability in Reward Learning


Mar 14, 2022
Joar Skalse, Matthew Farrugia-Roberts, Stuart Russell, Alessandro Abate, Adam Gleave

* 8 pages main paper, 24 pages total, 1 figure 

  Access Paper or Ask Questions

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise


Nov 13, 2021
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Marielle Stoelinga


  Access Paper or Ask Questions

Certification of Iterative Predictions in Bayesian Neural Networks


May 21, 2021
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska

* Accepted, UAI 2021. 17 pages 

  Access Paper or Ask Questions

Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic


Feb 24, 2021
Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan

* arXiv admin note: text overlap with arXiv:2010.06797 

  Access Paper or Ask Questions

Multi-Agent Reinforcement Learning with Temporal Logic Specifications


Feb 09, 2021
Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael Wooldridge

* Accepted to the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-21) 

  Access Paper or Ask Questions

Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice


Feb 09, 2021
Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael Wooldridge

* Accepted to the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-21) 

  Access Paper or Ask Questions

SafePILCO: a software tool for safe and data-efficient policy synthesis


Aug 07, 2020
Kyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen Roberts

* Shorter Version published as a software tool demonstration at QEST 2020 

  Access Paper or Ask Questions

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers


Jul 21, 2020
Daniele Ahmed, Andrea Peruffo, Alessandro Abate


  Access Paper or Ask Questions

Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models


Jul 07, 2020
Andrea Peruffo, Daniele Ahmed, Alessandro Abate


  Access Paper or Ask Questions

Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer


Jul 06, 2020
Thomas J. Ringstrom, Mohammadhosein Hasanbeig, Alessandro Abate


  Access Paper or Ask Questions

Acceleration of Descent-based Optimization Algorithms via Carathéodory's Theorem


Jun 02, 2020
Francesco Cosentino, Harald Oberhauser, Alessandro Abate


  Access Paper or Ask Questions

A Randomized Algorithm to Reduce the Support of Discrete Measures


Jun 02, 2020
Francesco Cosentino, Harald Oberhauser, Alessandro Abate


  Access Paper or Ask Questions

Cautious Reinforcement Learning with Logical Constraints


Mar 21, 2020
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening

* Accepted to AAMAS 2020. arXiv admin note: text overlap with arXiv:1902.00778 

  Access Paper or Ask Questions

Automated Formal Synthesis of Lyapunov Neural Networks


Mar 19, 2020
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo


  Access Paper or Ask Questions

Safety Guarantees for Planning Based on Iterative Gaussian Processes


Jan 17, 2020
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen Roberts

* Preprint, shorter version presented in NeurIPS-2019 Workshop on Safety and Robustness in Decision Making 

  Access Paper or Ask Questions

DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning


Nov 22, 2019
Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening


  Access Paper or Ask Questions

Modular Deep Reinforcement Learning with Temporal Logic Specifications


Sep 23, 2019
Lim Zun Yuan, Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening

* arXiv admin note: text overlap with arXiv:1902.00778 

  Access Paper or Ask Questions

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees


Sep 11, 2019
Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee


  Access Paper or Ask Questions

Certified Reinforcement Learning with Logic Guidance


Feb 02, 2019
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening

* arXiv admin note: text overlap with arXiv:1809.07823 

  Access Paper or Ask Questions

Logically-Constrained Reinforcement Learning


Oct 22, 2018
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening


  Access Paper or Ask Questions

Logically-Constrained Neural Fitted Q-Iteration


Sep 20, 2018
Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening


  Access Paper or Ask Questions

Safe Policy Search with Gaussian Process Models


Dec 15, 2017
Kyriakos Polymenakos, Alessandro Abate, Stephen Roberts

* 5 pages, 2 figures, presented in the NIPS 2017 workshop "Transparent and Interpretable Machine Learning in Safety Critical Environments" 

  Access Paper or Ask Questions

Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes


Jul 05, 2017
Elizabeth Polgreen, Viraj Wijesuriya, Sofie Haesaert, Alessandro Abate

* QEST 2017, 18 pages, 7 figures 

  Access Paper or Ask Questions

Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes


Sep 09, 2015
Sofie Haesaert, Robert Babuska, Alessandro Abate


  Access Paper or Ask Questions