Presentation Abstract: Given access to a distribution, how can one tell whether it satisfies a particular property? This talk will be about property testing of distributions, which studies the above […]
Presentation Abstract:Â Throughout the COVID-19 pandemic, countries relied on a variety of ad-hoc border control protocols to allow for non-essential travel while safeguarding public health: from quarantining all travellers to […]
Presentation Abstract: "A.I. has an explainability crisis"---Fortune Magazine. If you ask an ML researcher about explainability, you'll find that there are a large number of interpretability methods with no clear […]
Presentation Abstract: We present three approaches to combine formal methods, control theory, and machine learning for safe and performant autonomous systems. Safe control for learning-enabled systems: We present our recent […]
