Travelled to:
1 × Italy
Collaborated with:
C.Eisentraut H.Hermanns A.Turrini L.Zhang
Talks about:
probabilist (1) quotient (1) automata (1) quest (1) minim (1)
Person: Johann Schuster
DBLP: Schuster:Johann
Contributed to:
Wrote 1 papers:
- TACAS-2013-EisentrautHST0 #automaton #probability
- The Quest for Minimal Quotients for Probabilistic Automata (CE, HH, JS, AT, LZ), pp. 16–31.