supermartingales

Tolerant Barrier Certificates for Stochastic Systems
We study stochastic verification under tolerant specifications, where unsafe behavior is allowed as long as the total unsafe exposure …
Cite
Tolerant Barrier Certificates for Stochastic Systems
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
In this paper, we propose a method for bounding the probability that a stochastic differential equation (SDE) system violates a safety …
PDF Cite Slides Video DOI Artifact Evaluated Pulp Fiction
Unbounded-Time Safety Verification of Stochastic Differential Dynamics