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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.