18
November
2021
Verifiability Talk 22: “Systematic falsification of cyber-physical systems”
Speaker: Knut Åkesson (Chalmers University of Technology)
Title: “Systematic falsification of cyber-physical systems.”
Date: 18/11/2021 – Meeting Link
Time: 16:00-17:00 (British Summer Time, GMT+1)