/prob_unsafe

Bound the probability of ending up in the unsafe set using occupation measures. Applied to stochastic process systems (SDE).

Primary LanguageMATLAB

No issues in this repository yet.