David Müller

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