Presenter
Wang Lin
Biography
Wang Lin is with the School of Information Science, Zhejiang Sci-Tech University, Hangzhou, China.
Presentations
Research Manuscript
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via approximations
EDA
Design Verification and Validation
Hosted in Virtual Platform