David Müller

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 10

Top Venues

CoRR

CAV (1)

J. Comput. Syst. Sci.

GandALF

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell
Markov chains and unambiguous automata. J. Comput. Syst. Sci. 136 (2023)
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to unambiguous Büchi automata via disambiguation of alternating automata. Formal Methods Syst. Des. 58 (1-2) (2021)
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. CoRR (2019)
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. FM (2019)
Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek
Generic Emptiness Check for Fun and Profit. ATVA (2019)
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
David Müller, Salomon Sickert
LTL to Deterministic Emerson-Lei Automata. GandALF (2017)
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
Markov Chains and Unambiguous Büchi Automata. CAV (1) (2016)
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
Markov Chains and Unambiguous Büchi Automata. CoRR (2016)
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Advances in Symbolic Probabilistic Model Checking with PRISM. TACAS (2016)
Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek
The Hanoi Omega-Automata Format. CAV (1) (2015)
David Müller
Alternative automata-based approaches to probabilistic model checking. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz
Are Good-for-Games Automata Good for Probabilistic Model Checking? LATA (2014)

David Müller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Müller