affiliation not provided to SSRN
Stochastic Systems, Safe Probabilistic Invariance Verification, Liveness Probabilities, Lower and Upper Bounds
Stochastic Differential Equations, Reachability Probabilities