activity
20122026
most citedDamage detection using in-domain and cross-domain transfer learning

59 citations · 291 across the 45 of their papers we have counts for

collaborators
Showing 2012Show all

1 paper · 1 filter

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…