1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Johann Schuster, Markus Siegle
This paper develops a decision algorithm for weak bisimulation on Markov Automata (MA). For that purpose, different notions of vanishing state (a concept known from the area of Gen…