1 paper
Ukachukwu Ndukwu, Annabelle McIver
The role played by counterexamples in standard system analysis is well known; but less common is a notion of counterexample in probabilistic systems refinement. In this paper we ex…