November
8
2024
1:00 PM

Location

Room 134, TSRB
Friday, November 08, 2024 01:00PM

Title:  Runtime Assurance for Signal Temporal Logic Specifications on a Miniature Blimp

Committee: 

Dr. Coogan, Advisor      

Dr. Hale, Chair

Dr. Zonouz

Dr. Inman