Travelled to:1 × Spain
1 × USA
Collaborated with:J.Klein C.Baier S.Klüppelholz T.Babiak F.Blahoudek A.Duret-Lutz J.Kretínský D.Parker J.Strejcek
Talks about:automata (2) good (2) probabilist (1) format (1) omega (1) model (1) hanoi (1) check (1) game (1)
Person: David Müller
DBLP: M=uuml=ller:David
Contributed to:
2015
2014Wrote 2 papers:
- CAV-2015-BabiakBDKKM0S
- The Hanoi Omega-Automata Format (TB, FB, ADL, JK, JK, DM, DP, JS), pp. 479–486.
- LATA-2014-KleinMBK #automaton #model checking #probability #question
- Are Good-for-Games Automata Good for Probabilistic Model Checking? (JK, DM, CB, SK), pp. 453–465.