Explainable and Verifiable Machine Learning. A Grand Challenge for Computer Science (Kim Guldstrand Larsen)

Kim Guldstrand Larsen is professor in the Department of Computer Science at Aalborg University within the Distributed, Embedded Systems and Intelligent (DEIS) Unit and director of the ICT-competence center CISS, Center for Embedded Software Systems. Being the prime investigator of the award winning tool UPPAAL as well as its branches, his talk will highlight ongoing research towards explainable and verifiable learning-based CPS pursued within the context of the modelling and verification tool UPPAAL
Stratego.

The talk is part of the c:o/re Lecture Series Cultures of Research – Philosophy of AI_Optimist and Pessimist Views.