Presenter
Meng Sha
Biography
Meng Sha, a master degree candidate in Department of Computer Science and Technology from Nanjing University under the supervision of Associate Professor Xin Chen.
Presentations
Research Manuscript
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via approximations
EDA
Design Verification and Validation
Hosted in Virtual Platform