Chiao Hsieh
- PAC Learning-Based Verification and Model Synthesis
2015/11/03 by Yu‐Fang Chen, Chen, Yu-Fang, Chiao Hsieh +11 · 2 citations
Computer Science · #Machine Learning and Algorithms #Software Testing and Debugging Techniques #Formal Methods in Verification