Presenter <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowLiqian ChenNational University of Defense TechnologyPresentationsResearch ManuscriptProvably Probabilistic Safe Controller Synthesis for Vision-Based Neural Network Control Systems10:56am - 11:10am PDT Tuesday, July 28 Mtg Room 202CSystemsSYS2. Design of Cyber-Physical Systems and IoT