David Müller

According to our database, David Müller authored at least 11 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Markov chains and unambiguous automata.

Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell

J. Comput. Syst. Sci., 2023

2021

From LTL to unambiguous Büchi automata via disambiguation of alternating automata.

Simon Jantsch, David Müller, Christel Baier, Joachim Klein

Formal Methods Syst. Des., 2021

2019

Alternative automata-based approaches to probabilistic model checking.

David Müller

PhD thesis, 2019

Generic Emptiness Check for Fun and Profit.

Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller

Int. J. Softw. Tools Technol. Transf., 2018

2017

LTL to Deterministic Emerson-Lei Automata.

David Müller, Salomon Sickert

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

2016

Advances in Symbolic Probabilistic Model Checking with PRISM.

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Markov Chains and Unambiguous Büchi Automata.

Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

The Hanoi Omega-Automata Format.

Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Are Good-for-Games Automata Good for Probabilistic Model Checking?

Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz

Proceedings of the Language and Automata Theory and Applications, 2014

Alternative automata-based approaches to probabilistic model checking.

David Müller

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014