o\~nez, P. O., Mill, A. R., Dodd, T. J., & Liu, J. . (2017). Formal verification of a gain scheduling control scheme. Formal Verification of a Gain Scheduling Control Scheme Primary Tabs . Presented at the. IEEE. https://doi.org/10.1109/MED.2017.7984128