aria-systems-group/NeuralNetControlBarrier

We introduce a method of safety certification and control for Neural Network Dynamic Models (NNDMs) via stochastic barrier functions.

语言：Julia · GitHub 星标：9 · Fork：3

在 GitHub 上查看原仓库