The paper “Confluence Reduction for Markov Automata” by Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol and Marielle Stoelinga has been accepted for the journal Theoretical Computer Science.  The paper describes an on-the-fly symbolic reduction technique for Markov automata akin to partial-order reduction.  Experiments show that up to 90% of the potential reductions that could be obtained using divergence-sensitive stutter bisimulation can be attained.