TY - RPRT TI - Approximating Reachable Sets for Neural Network based Models in Real-Time via Optimal Control AU - Omanshu Thapliyal AU - Inseok Hwang PY - 2022 UR - https://arxiv.org/abs/2211.03732 ID - 2211.03732 ER -