The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains - Nils Jansen 001; Erika Ábrahám; Maik Scheffler; Matthias Volk 001; Andreas Vorpahl; Ralf Wimmer 001; Joost-Pieter Katoen; Bernd Becker 001 (CoRR, 2012)

High-level Counterexamples for Probabilistic Automata - Ralf Wimmer 001; Nils Jansen 001; Andreas Vorpahl; Erika Ábrahám; Joost-Pieter Katoen; Bernd Becker 001 (Log. Methods Comput. Sci., 2015)