«A Gaussian process approach to model checks»