Probabilistic automata: system types, parallel composition and comparison (0)

by A Sokolova, E P de Vink
Venue:in: Validation of Stochastic Systems, in: Springer LNCS