Verification of a Nonlinear Upset Recovery Control Law using Scenario Optimisation⋆. - Nico Holzinger; Torbjørn Cunis (CCTA, 2024)