Kersten, J., Rauh, A. and Aschemann, H. 2020. Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers. Acta Cybernetica. 24, 3 (Mar. 2020), 467-491. DOI:https://doi.org/10.14232/actacyb.24.3.2020.11.