Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation.

Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue

Browse the full ICSE paper archive.