TY  - RPRT
TI  - What is known about the Value 1 Problem for Probabilistic Automata?
AU  - Nathanaël Fijalkow
PY  - 2014
UR  - https://arxiv.org/abs/1410.3770
ID  - 1410.3770
ER  -