Illinois ECE Seminars

Final Exam: Kristina Miller

Event Type

Seminar/Symposium

Sponsor

ECE

Location

CSL 239

Date

Jun 12, 2024   9:30 - 11:30 am  

Views

38

Final Exam: Kristina Miller

A formal approach towards safe autonomy: Algorithms for synthesis for satisfaction of various specifcations