The Quest for Minimal Quotients for Probabilistic Automata.

Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang

Browse the full TACAS paper archive.