1 paper
Mohammad Ahmadi, Zhen Zhang, Chris Myers +2
Counterexample generation is an indispensable part of model checking process. In stochastic model checking, counterexample generation is a challenging problem as it is not enough t…