Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue. Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. In Carlo Ghezzi, Lars Grunske, Raffaela Mirandola, editors, Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, QUOVADIS '10, May 3, 2010, Cape Town, South Africa. pages 25-32, ACM, 2010. [doi]
Abstract is missing.