TY - RPRT TI - Certifiably Robust Neural ODE With Learning-Based Barrier Function AU - Yang, Runing AU - Jia, Ruoxi AU - Zhang, Xiangyu AU - Jin, Ming PY - 2023 DO - 10.1109/lcsys.2023.3265397 UR - https://www.osti.gov/biblio/1975000 ID - 1975000 ER -