Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowZhengfeng YangEast China Normal UniversityPresentationsResearch ManuscriptSafe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC ApproximationDesignDesign of Cyber-physical Systems and IoTResearch ManuscriptNeural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided LearningEDADesign Verification and Validation