The Grainger College of Engineering
Thesis title: Abstractions for safety assurance of autonomous systems
Committee: Sayan Mitra, Chair and Director of Research
Madhusudan Parthasarathy
Sasa Misailovic
Stanley Bak; Stony Brook University, CS