Minimal counterexamples for linear-time probabilistic verification

Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal counterexamples for linear-time probabilistic verification. Theoretical Computer Science, 549:61-100, 2014. [doi]

Abstract

Abstract is missing.