Organization Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowSouthwest UniversityContributorsZhiming LiuXia ZengPresentationsResearch ManuscriptNeural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided LearningEDADesign Verification and ValidationResearch ManuscriptSafe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC ApproximationDesignDesign of Cyber-physical Systems and IoT