I will present my work “Koopman-inspired Implicit Backward Reachable Sets for Unknown Nonlinear Systems” at IEEE CDC 2023