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, 262, Part 1: 162-186, 2018.Downloads: bibURL: https://doi.org/10.1016/j.ic.2018.08.003