Tag Archive | counterexamples

Paper accepted

Our paper “The COMICS Tool – Computing Minimal Counterexamples for DTMCs“ was accepted at ATVA’12.