@misc{indiciaeb795dc3c134d, title = {What is known about the Value 1 Problem for Probabilistic Automata?}, author = {Nathanaƫl Fijalkow}, year = {2014}, url = {https://arxiv.org/abs/1410.3770}, note = {Source identifier: 1410.3770} }