Location

Room 509, TSRB

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