Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. - Luke Rickard; Thom S. Badings; Licio Romao; Nils Jansen 001; Alessandro Abate (CoRR, 2022)

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. - Luke Rickard; Thom S. Badings; Licio Romao; Alessandro Abate (QEST, 2023)

Learning robust policies for uncertain parametric Markov decision processes. - Luke Rickard; Alessandro Abate; Kostas Margellos (L4DC, 2024)

Data-Driven Neural Certificate Synthesis. - Luke Rickard; Alessandro Abate; Kostas Margellos (CoRR, 2025)

Continuous-time Data-driven Barrier Certificate Synthesis. - Luke Rickard; Alessandro Abate; Kostas Margellos (CoRR, 2025)

AI-driven optimisation of metal alloys for space applications. - Luke Rickard; Adamantios Bampoulas; Meena Laad; Eleni E. Mangina (Discov. Artif. Intell., 2025)