VENI grant for Arnd Hartmanns: Verification of Cyber-Physical Systems

Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability
Dr. ir. Arnd Hartmanns, UT – Computer Science (EWI/CTIT/FMT)
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. This research will deliver practical mathematical verification methods which take advantage of the very randomness that challenges the control algorithms.

Further information.

July 28, 2017
See this news item in overview by year.