6 citations · 6 across the 1 of their papers we have counts for
1 paper
Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
This paper presents a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We prov…