Location
Title: Runtime Assurance from Signal Temporal Logic Specifications on a Miniature Blimp
Committee:
Dr. Samuel Coogan, ECE, Chair, Advisor
Dr. Matthew Hale, ECE
Dr. Saman Zonouz, SCP
Dr. Jessica Inman, GTRI
Dr. Yorai Wardi, ECE
