Continuous-time Data-driven Barrier Certificate Synthesis
Luke Rickard, Alessandro Abate, Kostas Margellos (CDC 2025) PDF
Data-Driven Certificate Synthesis
Luke Rickard, Alessandro Abate, Kostas Margellos (Automatica) PDF
Learning Robust Policies for Uncertain Parametric Markov Decision Processes
Luke Rickard, Alessandro Abate, Kostas Margellos (L4DC 2024) BibTeXPDF
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
Luke Rickard, Thom Badings, Licio Romao, Alessandro Abate (QEST 2023) BibTeXPDF