Consciousness Videos Verifiability Talk 22: Systematic falsification of cyber-physical systems, Knut Åkesson (Chalmers) December 24, 2022UKRI TAS Verifiability Node
