July 1, 2023 0 min readApproximating Reachable Sets for Neural Network-Based Models in Real Time via Optimal ControlOmanshu Thapliyal, Inseok HwangIEEE Transactions on Control Systems TechnologyControl Systems Machine Learning Dynamical Systems PDF