Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation

20 April 2024

Changliu Liu

Papers citing "Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation"

3 / 3 papers shown

Title
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics Keyi Shen Jiangwei Yu Huan Zhang Yunzhu Li Yunzhu Li 73 1 0 12 Dec 2024
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation Haitham Khedr Yasser Shoukry 27 4 0 22 May 2023
Safe Control with Neural Network Dynamic Models Tianhao Wei Changliu Liu 19 35 0 03 Oct 2021