Sokolova and Erik de Vink. Classes of probabilistic automata, composition and comparison (0)

by Ana
Venue:In Proc. Validation of Stochastic Systems, Dagstuhl