Test Generation for Hybrid, Probabilistic Control Models - Kumar, Barath; Niggemann, Oliver; Jasperneite, Jürgen