Verified-Intelligence/Lyapunov_Stable_NN_Controllers

Lyapunov-stable Neural Control for State and Output Feedback

语言：Python · GitHub 星标：98 · Fork：23

话题：formal-verification · lyapunov-stability · neural-control · neural-lyapunov-function · neural-network-verification · neural-networks

在 GitHub 上查看原仓库