AVIATE Seminar “Code-Level Verification for Autonomous Systems (TC2)” – AVIATE

AVIATE Seminar “Code-Level Verification for Autonomous Systems (TC2)”

24th March 2023

The seminar is presented by Yangge Li (Ph.D. student of Prof. Sayan Mitra) and Lin Song (Ph.D. student of Prof. Naira Hovakimyan).

Download Slides