StanfordASL/neural-network-lyapunov

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

语言：Python · GitHub 星标：185 · Fork：38

话题：lyapunov-functions · neural-network · robotics · verification

在 GitHub 上查看原仓库