The COMICS tool - Computing minimal counterexamples for DTMCs (2012)

by Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
Venue:In 10th Int. Symp. on Automated Technology for Verification and Analysis (ATVA’12), volume 7561 of Lecture Notes in Computer Science