News

Model Checking in Large-Scale Data Set via Structure-Adaptive-Sampling

Speaker：Dr. Yixin HAN, Hong Kong University of Science and Technology

Time：Feb 21, 2022, 10:30-11:30

Location：Room 205, Lychee Hills No.1

Poster