| Title | Formal verification of a gain scheduling control scheme |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Ordóñez, P., A. R. Mill, T. J. Dodd, and J. Liu |
| Conference Name | Mediterranean Conference on Control and Automation (MED) |
| Publisher | IEEE |
| DOI | 10.1109/MED.2017.7984128 |
