Organization
British Columbia Academy
Session Chair(s)
Presentations
Research Manuscript
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via approximations
EDA
Design Verification and Validation
Hosted in Virtual Platform