52 citations · 146 across the 41 of their papers we have counts for
Showing 2015 · cs.DSShow all
3 papers · 2 filters
cs.DS2015
Distinguishing Hidden Markov Chains
Stefan Kiefer, A. Prasad Sistla
Hidden Markov Chains (HMCs) are commonly used mathematical models of probabilistic systems. They are employed in various fields such as speech recognition, signal processing, and b…
cs.DS2015
Tree Buffers
Radu Grigore, Stefan Kiefer
In runtime verification, the central problem is to decide if a given program execution violates a given property. In online runtime verification, a monitor observes a program's exe…
cs.DS2015★ 1 cited
Proving the Herman-Protocol Conjecture
Maria Bruna, Radu Grigore, Stefan Kiefer +2
Herman's self-stabilisation algorithm, introduced 25 years ago, is a well-studied synchronous randomised protocol for enabling a ring of processes collectively holding any odd…