Final Exam: Kristina Miller
- Event Type
- Seminar/Symposium
- Sponsor
- ECE
- Location
- CSL 239
- Date
- Jun 12, 2024 9:30 - 11:30 am
- Views
- 132
- Originating Calendar
- Illinois ECE Seminars
Final Exam: Kristina Miller
A formal approach towards safe autonomy: Algorithms for synthesis for satisfaction of various specifcations