Online Guaranteed Reachable Set Approximation for Systems With Changed Dynamics and Control Authority. - Hamza El-Kebir; Ani Pirosmanishvili; Melkior Ornik (IEEE Trans. Autom. Control., 2024)