/neural_stochastic_control

Verified control of stochastic systems using neural certificates

Primary LanguagePython

Watchers