2023Approximating Reachable Sets for Neural Network-Based Models in Real Time via Optimal ControlOmanshu Thapliyal, Inseok HwangIEEE Transactions on Control Systems Technologyjournal
2022Approximate reachability for Koopman systems using mixed monotonicityOmanshu Thapliyal, Inseok HwangIEEE Accessjournal