Final Exam: Kristina Miller
A formal approach towards safe autonomy: Algorithms for synthesis for satisfaction of various specifcations
The Grainger College of Engineering
University of Illinois
306 Engineering Hall MC 266
1308 West Green Street
Urbana, IL 61801
engineering@illinois.edu