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