Deciding Simulations on Probabilistic Automata.

Lijun Zhang, Holger Hermanns

Browse the full ATVA paper archive.