UKRI TAS Verifiability Node
Title: Systematic falsification of cyber-physical systems
Speaker: Knut Åkesson, Chalmers University of Technology, Sweden
Date: 18 November 2021
Source
Verifiability Talk 22: Systematic falsification of cyber-physical systems, Knut Åkesson (Chalmers)
