TY  - RPRT
TI  - FI-ODE: Certifiably Robust Forward Invariance in Neural ODEs
AU  - Yujia Huang
AU  - Ivan Dario Jimenez Rodriguez
AU  - Huan Zhang
AU  - Yuanyuan Shi
AU  - Yisong Yue
PY  - 2023
UR  - https://arxiv.org/abs/2210.16940
ID  - 2210.16940
ER  -