Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowXiaochen LiDalian University of TechnologyPresentationsResearch ManuscriptMAGCS: Multi-Agent Guided Configuration Search for Optimization Fault Detection in Logic Synthesis5:00pm - 5:15pm PDT Wednesday, June 25 3003, Level 3EDAEDA2: Design Verification and ValidationResearch ManuscriptLive Region Mutation Testing for Commercial Cyber-Physical System Development Tool Chain2:30pm - 2:45pm PDT Tuesday, June 24 3008, Level 3SystemsSYS1: Autonomous Systems (Automotive, Robotics, Drones)SYS2: Design of Cyber-Physical Systems and IoT