52 citations · 146 across the 41 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 4 cited
Model Checking Stochastic Branching Processes
Taolue Chen, Klaus Dräger, Stefan Kiefer
Stochastic branching processes are a classical model for describing random trees, which have applications in numerous fields including biology, physics, and natural language proces…
cs.LO2012
Proving Termination of Probabilistic Programs Using Patterns
Javier Esparza, Andreas Gaiser, Stefan Kiefer
Proving programs terminating is a fundamental computer science challenge. Recent research has produced powerful tools that can check a wide range of programs for termination. The a…