49 citations · 223 across the 35 of their papers we have counts for
1 paper · 1 filter
Taolue Chen, Stefan Kiefer
Labelled Markov chains (LMCs) are widely used in probabilistic verification, speech recognition, computational biology, and many other fields. Checking two LMCs for equivalence is…