Accepted

• Learning Robust Policies for Uncertain Parametric Markov Decision Processes
  Luke Rickard, Alessandro Abate, Kostas Margellos (L4DC 2024)
  BibTeX  PDF
• Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
  Luke Rickard, Thom Badings, Licio Romao, Alessandro Abate (QEST 2023)
  BibTeX  PDF

Under Review

• Data-Driven Neural Certificate Synthesis
  Luke Rickard, Alessandro Abate, Kostas Margellos (Automatica)
  PDF
• Continuous-time Data-driven Barrier Certificate Synthesis
  Luke Rickard, Alessandro Abate, Kostas Margellos (L-CSS and CDC 2025)
  PDF