Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics

Open in new window