TY  - RPRT
TI  - Pushing undecidability of the isolation problem for probabilistic automata
AU  - Nathanaël Fijalkow
AU  - Hugo Gimbert
AU  - Youssouf Oualhadj
PY  - 2011
UR  - https://arxiv.org/abs/1104.3054
ID  - 1104.3054
ER  -