On Probabilistic Automata in Continuous Time.

Christian Eisentraut, Holger Hermanns, Lijun Zhang

Browse the full LICS paper archive.