Paper at NASA Formal Methods 2023

Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems, with E. Khalife and M. Farhood, presented at NFM 2023 in Houston, TX.