52 citations · 146 across the 41 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014★ 7 cited
On the Total Variation Distance of Labelled Markov Chains
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…
cs.LO2014★ 1 cited
Analysis of Probabilistic Basic Parallel Processes
Rémi Bonnet, Stefan Kiefer, Anthony W. Lin
Basic Parallel Processes (BPPs) are a well-known subclass of Petri Nets. They are the simplest common model of concurrent programs that allows unbounded spawning of processes. In t…