Verifiability Talk 22: Systematic falsification of cyber-physical systems, Knut Åkesson (Chalmers)
Channel: UKRI TAS Verifiability Node
Date: 2021-11-18

Title: Systematic falsification of cyber-physical systems

Speaker: Knut Åkesson, Chalmers University of Technology, Sweden 

Date: 18 November 2021