notesum.ai

Published at November 27

Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control

cs.LG
cs.AI
cs.RO
cs.SY
eess.SY

Released Date: November 27, 2024

Authors: Zhouxing Shi1, Cho-Jui Hsieh1, Huan Zhang2

Aff.: 1University of California, Los Angeles; 2University of Illinois Urbana-Champaign

Arxiv: http://arxiv.org/abs/2411.18235v1