Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach. - Louis Jouret; Adnane Saoud; Sorin Olaru (IEEE Control. Syst. Lett., 2023)