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