59 citations · 458 across the 94 of their papers we have counts for
1 paper · 1 filter
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…