Confluence Reduction for Probabilistic Systems (extended version)

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…