reach-avoid

We study stochastic verification under tolerant specifications, where unsafe behavior is allowed as long as the total unsafe exposure …