Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound PropagationZhouxing Shi, Cho‐Jui Hsieh, Huan Zhang et al.|arXiv (Cornell University)|2022Cited by 8
Lyapunov-stable Neural Control for State and Output Feedback: A Novel FormulationLujie Yang, Huan Zhang, Hongkai Dai et al.|arXiv (Cornell University)|2024Cited by 1