TY  - RPRT
TI  - Deciding the Value 1 Problem of Probabilistic Leaktight Automata
AU  - Nathanaël Fijalkow
AU  - Hugo Gimbert
AU  - Youssouf Oualhadj
PY  - 2012
UR  - https://arxiv.org/abs/1104.3055
ID  - 1104.3055
ER  -