AI RESEARCH
Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
arXiv CS.AI
•
ArXi:2411.18235v3 Announce Type: replace-cross We study the problem of learning verifiably Lyapuno-stable neural controllers that provably satisfy the Lyapuno asymptotic stability condition within a region-of-attraction (ROA). Unlike previous works that adopted counterexample-guided