3 ms·Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty2 points by measurablefunc 7mo ago