Kersten, Julia, Andreas Rauh, and Harald Aschemann. 2020. “Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers”. Acta Cybernetica 24 (3), 467-91. https://doi.org/10.14232/actacyb.24.3.2020.11.