6 citations · 17 across the 16 of their papers we have counts for
1 paper · 1 filter
Andrea Turrini, Holger Hermanns
Probabilistic automata constitute a versatile and elegant model for concurrent probabilistic systems. They are equipped with a compositional theory supporting abstraction, enabled…