Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowHanrui ZhaoEast China Normal UniversityPresentationsResearch ManuscriptNeural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided LearningEDADesign Verification and Validation
