Learning Robust Policies for Uncertain Parametric Markov Decision Processes

no code implementations • 11 Dec 2023 • Luke Rickard, Alessandro Abate, Kostas Margellos

Synthesising verifiably correct controllers for dynamical systems is crucial for safety-critical problems.

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics

no code implementations • 1 Dec 2022 • Luke Rickard, Thom Badings, Licio Romao, Alessandro Abate

We consider the cases where the transition probabilities of this MDP are either known up to an interval or completely unknown.