TY  - RPRT
TI  - Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
AU  - Luke Rickard
AU  - Thom Badings
AU  - Licio Romao
AU  - Alessandro Abate
PY  - 2023
UR  - https://arxiv.org/abs/2212.00679
ID  - 2212.00679
ER  -