Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowZhiming LiuSouthwest UniversityPresentationsResearch ManuscriptLearning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates2:15pm - 2:30pm PDT Tuesday, June 24 3008, Level 3SystemsSYS1: Autonomous Systems (Automotive, Robotics, Drones)SYS2: Design of Cyber-Physical Systems and IoT
