23 citations · 23 across the 2 of their papers we have counts for
1 paper · 1 filter
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…