The COMICS Tool - Computing Minimal Counterexamples for DTMCs.

Nils Jansen, Erika brahm, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker

Browse the full ATVA paper archive.