Two Recursively Inseparable Problems for Probabilistic Automata

Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Youssouf Oualhadj. Two Recursively Inseparable Problems for Probabilistic Automata. In Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik, editors, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I. Volume 8634 of Lecture Notes in Computer Science, pages 267-278, Springer, 2014. [doi]

Authors

Nathanaël Fijalkow

This author has not been identified. Look up 'Nathanaël Fijalkow' in Google

Hugo Gimbert

This author has not been identified. Look up 'Hugo Gimbert' in Google

Florian Horn

This author has not been identified. Look up 'Florian Horn' in Google

Youssouf Oualhadj

This author has not been identified. Look up 'Youssouf Oualhadj' in Google