As artificial intelligence (AI) takes on increasingly critical roles — from managing power grids to piloting autonomous vehicles — making sure these systems are safe has never been more important. But how can we be certain that the AI controlling them can be trusted?
A research team at the University of Waterloo is addressing this question using tools from applied mathematics and machine learning to rigorously check and verify the safety of AI-driven systems.
“Any time you’re dealing with a dynamic system — something that changes over time, such as an autonomous vehicle or a power grid — you can mathematically model it using differential equations,” said Dr. Jun Liu, professor of applied mathematics and Canada Research Chair in Hybrid Systems and Control.
Read the full story from Waterloo News to learn more.