Travelled to:1 × Italy
1 × Norway
1 × United Kingdom
Collaborated with:H.Hermanns L.Zhang J.C.Godskesen L.Song J.Schuster A.Turrini
Talks about:probabilist (3) automata (2) quotient (1) schedul (1) realist (1) continu (1) bisimul (1) quest (1) minim (1) time (1)
Person: Christian Eisentraut
DBLP: Eisentraut:Christian
Contributed to:
2015
2013
2010Wrote 3 papers:
- FM-2015-EisentrautGHS0 #bisimulation #probability
- Probabilistic Bisimulation for Realistic Schedulers (CE, JCG, HH, LS, LZ), pp. 248–264.
- TACAS-2013-EisentrautHST0 #automaton #probability
- The Quest for Minimal Quotients for Probabilistic Automata (CE, HH, JS, AT, LZ), pp. 16–31.
- LICS-2010-EisentrautHZ #automaton #on the #probability
- On Probabilistic Automata in Continuous Time (CE, HH, LZ), pp. 342–351.