1 result found Sort:

Verified-Intelligence
Lyapunov_Stable_NN_Controllers Verified-Intelligence
14
57
mit
5
Lyapunov-stable Neural Control for State and Output Feedback
neural-control neural-networks lyapunov-stability formal-verification neural-lyapunov-function neural-network-verification
Created 2024-04-09
6 commits to main branch, last one 3 months ago