Accepted

• Continuous-time Data-driven Barrier Certificate Synthesis
  Luke Rickard, Alessandro Abate, Kostas Margellos (CDC 2025)
  BibTeX  PDF
• Data-Driven Certificate Synthesis
  Luke Rickard, Alessandro Abate, Kostas Margellos (Automatica)
  BibTeX  PDF
• 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

• Coalition Formation with Limited Information Sharing for Local Energy Management
  Luke Rickard, Paola Falugi, Eric C. Kerrigan (CDC 2026)
  PDF

PhD Thesis

• Data-Driven Robust Verification and Control
  Luke Rickard
  PDF

MEng Thesis

• Learning Equilibria in Energy Markets
  Luke Rickard
  PDF