Characterisation of an Algebraic Algorithm for Probabilistic Automata

Nathanaël Fijalkow. Characterisation of an Algebraic Algorithm for Probabilistic Automata. In Nicolas Ollinger, Heribert Vollmer, editors, 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orléans, France. Volume 47 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Authors

Nathanaël Fijalkow

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