Luke Rickard

According to our database, Luke Rickard authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

AI-driven optimisation of metal alloys for space applications.

Luke Rickard, Adamantios Bampoulas, Meena Laad, Eleni E. Mangina

Discov. Artif. Intell., December, 2025

Continuous-time Data-driven Barrier Certificate Synthesis.

Luke Rickard, Alessandro Abate, Kostas Margellos

CoRR, March, 2025

Data-Driven Neural Certificate Synthesis.

Luke Rickard, Alessandro Abate, Kostas Margellos

CoRR, February, 2025

2024

Learning robust policies for uncertain parametric Markov decision processes.

Luke Rickard, Alessandro Abate, Kostas Margellos

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

2023

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.

Luke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

2022

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.

Luke Rickard, Thom S. Badings, Licio Romao, Nils Jansen, Alessandro Abate

CoRR, 2022