Active and sparse methods in smoothed model checking

Paul Piho, Jane Hillston

Smoothed model checking based on Gaussian process classification provides a powerful approach for statistical model checking of parametric continuous time Markov chain models. The…