Giters

Jarmill / prob_unsafe

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

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

Languages

Language:MATLAB 93.4%Language:Julia 6.6%