Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control. - Kerianne H. Gross; Matthew A. Clark 001; Jonathan A. Hoffman; Eric D. Swenson; Aaron W. Fifarek (J. Aerosp. Inf. Syst., 2017)