Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.

Ralf Wimmer, Bettina Braitling, Bernd Becker

Browse the full VMCAI paper archive.