Yuan
Open Menu
Close Menu
Bio
Publications
Talks
Experience
Teaching
Risk-Aware Verification
Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-aware Verification
Click the Cite button above to import the BibTeX entry.
Jul 1, 2023