Collaborated with:
C.Baier S.Kiefer J.K.0001 S.Klüppelholz D.M.0001
Talks about:
unambigu (1) automata (1) markov (1) chain (1) büchi (1)
Person: James Worrell 0001
DBLP: 0001:James_Worrell
Contributed to:
Wrote 1 papers:
- CAV-2016-BaierK0K0W #ambiguity #automaton #markov
- Markov Chains and Unambiguous Büchi Automata (CB, SK, JK0, SK, DM0, JW0), pp. 23–42.