/prob_unsafe

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

Primary LanguageMATLAB

This repository is not active