Publication

[EisentrautHSTZ18] The Quest for Minimal Quotients for Probabilistic and Markov Automata Eisentraut, C.; Hermanns, H.; Schuster, J.; Turrini, A. and Zhang, L. In Information and Computation, 2018.
Note: Accepted for publication
Downloads: bib