Project summary

Computers control our physical world: in self-driving cars, smart power grids, or manufacturing robots. We must verify that such systems work even when faced with unexpected and random events. The research performed in this project will deliver practical mathematical verification methods which take advantage of the very randomness that challenges the control algorithms.