Method for Treating Discretization Error in Nondeterministic Analysis · Study