Presenter
Xuandong Li
Biography
Enyi Tang, a 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