Responsibility and verification: importance value in temporal logics by Mascle, C, Baier, C, Funke, F, Jantsch, S, Kiefer, S

Markov chains and unambiguous automata by Baier, C, Kiefer, S, Klein, J, Müller, D, Worrell, J

Markov chains and unambiguous Büchi automata by Baier, C, Kiefer, S, Klein, J, Klüppelholz, S, Müller, D, Worrell, J

Markov Chains and Unambiguous Büchi Automata by Kiefer, S, Baier, C, Klein, J, Klüppelholz, S, Müller, D, Worrell, J

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications by Baier, C, Funke, F, Jantsch, S, Karimov, T, Lefaucheux, E, Ouaknine, J, Purser, D, Whiteland, MA, Worrell, J

The Orbit Problem for parametric linear dynamical systems by Baier, C, Jantsch, S, Lefaucheux, E, Ouaknine, J, Whiteland, MA, Funke, F, Karimov, T, Luca, F, Purser, D, Worrell, J