Travelled to:
1 × United Kingdom
Collaborated with:
R.Chadha A.P.Sistla M.Viswanathan
Talks about:
probabilist (1) automata (1) express (1) decid (1) class (1)
Person: Yue Ben
DBLP: Ben:Yue
Contributed to:
Wrote 1 papers:
- FoSSaCS-2015-ChadhaSVB #automaton #decidability #probability
- Decidable and Expressive Classes of Probabilistic Automata (RC, APS, MV, YB), pp. 200–214.