/neural_stochastic_control

Verified control of stochastic systems using neural certificates

Primary LanguagePython

Stargazers

No one’s star this repository yet.