39 citations · 71 across the 10 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012
Transient Reward Approximation for Continuous-Time Markov Chains
Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer +1
We are interested in the analysis of very large continuous-time Markov chains (CTMCs) with many distinct rates. Such models arise naturally in the context of reliability analysis,…
cs.SE2012★ 2 cited
The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains
Nils Jansen, Erika Ábrahám, Maik Scheffler +5
This report presents the tool COMICS, which performs model checking and generates counterexamples for DTMCs. For an input DTMC, COMICS computes an abstract system that carries the…