Paper accepted by Theoretical Computer Science

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.