Lecture on Causality and Repair in Real-Time Systems
During his research stay, Stefan Leue will present an invited lecture on "Causality and Repair in Real-Time Systems" on Tuesday, March 28 at the National Institute of Informatics (NII) in Tokyo. He has already delivered lectures on "Specification-based Repair for Deep Neural Networks" and "Checking Legal Contracts using SMT Solving" at NII during his visit.
During his research stay, Stefan Leue will present an invited lecture on "Causality and Repair in Real-Time Systems" on Tuesday, March 28 at the National Institute of Informatics (NII) in Tokyo. He has already delivered lectures on "Specification-based Repair for Deep Neural Networks" and "Checking Legal Contracts using SMT Solving" at NII during his visit.