Author Info
Name
Affiliation
Papers
DAVID MÜLLER
Tech Univ Dresden, Inst Theoret Comp Sci, D-01062 Dresden, Germany
6
Collaborators
Citations 
PageRank 
16
22
2.39
Referers 
Referees 
References 
54
135
68
Search Limit
100135
Title
Citations
PageRank
Year
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata.00.342019
Generic Emptiness Check for Fun and Profit.00.342019
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.50.382018
Ltl To Deterministic Emerson-Lei Automata00.342017
The Hanoi Omega-Automata Format130.552015
Are Good-for-Games Automata Good for Probabilistic Model Checking?40.452014