Towards Safety Verification of Autonomous Systems

ON2019-04-23TAG: School of Information Science and TechnologyCATEGORY: Lecture

Time: 10:00-11:00, April 26

Location: SIST 1A 200

Speaker: Dr. Chao Huang