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