Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001. Approximating Probabilistic Automata by Regular Languages. In Dan R. Ghica, Achim Jung, editors, 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK. Volume 119 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
Abstract is missing.