"au:"Luke Rickard"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"Luke Rickard"" — arXiv2 Search

Showing 1–5 of 5 results

/ Date/ Name

Feb 8, 2025Data-Driven Certificate Synthesis Mar 17, 2025Continuous-time Data-driven Barrier Certificate Synthesis Dec 11, 2023Learning Robust Policies for Uncertain Parametric Markov Decision Processes Dec 1, 2022Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics Mar 30, 2026Coalition Formation with Limited Information Sharing for Local Energy Management