Oxford Quantum Talks Archive
Decision problems for probabilistic and quantum automata
Ben Worrell, University of OxfordSeminars, May 2010, University of Oxford
In this talk we will survey decidability questions in the language theory of probabilistic and quantum finite automata. We will consider language equivalence for probabilistic automata as well as decidability and undecidability results for various versions of the threshold problem for probabilistic and quantum automata. If time permits we will discuss some applications of these results to probabilistic verification.
[video] [streaming video]