Alternative automata-based approaches to probabilistic model checking. - David Müller 001 (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Are Good-for-Games Automata Good for Probabilistic Model Checking? - Joachim Klein 001; David Müller 001; Christel Baier; Sascha Klüppelholz (LATA, 2014)

The Hanoi Omega-Automata Format. - Tomás Babiak; Frantisek Blahoudek; Alexandre Duret-Lutz; Joachim Klein 001; Jan Kretínský; David Müller 001; David Parker 001; Jan Strejcek (CAV (1), 2015)

Markov Chains and Unambiguous Büchi Automata. - Christel Baier; Stefan Kiefer; Joachim Klein 001; Sascha Klüppelholz; David Müller 001; James Worrell 001 (CAV (1), 2016)

Advances in Symbolic Probabilistic Model Checking with PRISM. - Joachim Klein 001; Christel Baier; Philipp Chrszon; Marcus Daum; Clemens Dubslaff; Sascha Klüppelholz; Steffen Märcker; David Müller 001 (TACAS, 2016)

LTL to Deterministic Emerson-Lei Automata. - David Müller 001; Salomon Sickert (GandALF, 2017)

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. - Joachim Klein 001; Christel Baier; Philipp Chrszon; Marcus Daum; Clemens Dubslaff; Sascha Klüppelholz; Steffen Märcker; David Müller 001 (Int. J. Softw. Tools Technol. Transf., 2018)

Generic Emptiness Check for Fun and Profit. - Christel Baier; Frantisek Blahoudek; Alexandre Duret-Lutz; Joachim Klein 001; David Müller 001; Jan Strejcek (ATVA, 2019)

Alternative automata-based approaches to probabilistic model checking. - David Müller 001 (2019)

From LTL to unambiguous Büchi automata via disambiguation of alternating automata. - Simon Jantsch; David Müller 001; Christel Baier; Joachim Klein 001 (Formal Methods Syst. Des., 2021)

Markov chains and unambiguous automata. - Christel Baier; Stefan Kiefer; Joachim Klein 001; David Müller 001; James Worrell 001 (J. Comput. Syst. Sci., 2023)