Nathanaƫl Fijalkow, Hugo Gimbert, Youssouf Oualhadj. Deciding the Value 1 Problem for Probabilistic Leaktight Automata. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012. pages 295-304, IEEE, 2012. [doi]
@inproceedings{FijalkowGO12, title = {Deciding the Value 1 Problem for Probabilistic Leaktight Automata}, author = {Nathanaƫl Fijalkow and Hugo Gimbert and Youssouf Oualhadj}, year = {2012}, doi = {10.1109/LICS.2012.40}, url = {http://dx.doi.org/10.1109/LICS.2012.40}, researchr = {https://researchr.org/publication/FijalkowGO12}, cites = {0}, citedby = {0}, pages = {295-304}, booktitle = {Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012}, publisher = {IEEE}, isbn = {978-1-4673-2263-8}, }