Chen Qian
1 appearance in the program
Sessions & presentations
SPES and Q&P Student Paper Award
Speaker
Presentation: Kernel Method Based Case Sampling for Safety Verification on Cyber-Physical System
Topic-Contributed Paper Session · Mon, Aug 5 , 10:30 AM