Presenter
Enyi Tang
Biography
Enyi Tang, an Associate Professor in the State Key Laboratory for Novel Software Technology, the Department of Computer Science and Technology from Nanjing University.
Presentations
Research Manuscript
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via approximations
EDA
Design Verification and Validation
Hosted in Virtual Platform