PulseAugur
中
实时 11:23:51
实体 Zhuoyang Zhou

Zhuoyang Zhou

PulseAugur coverage of Zhuoyang Zhou — every cluster mentioning Zhuoyang Zhou across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_187450 ·

    新的确定性世界模型增强了AI控制器验证

    研究人员开发了一种确定性世界模型（DWM），以改进用于安全关键系统的端到端图像控制器的形式化验证。该DWM将物理状态直接映射到合成摄像头图像，绕过了随机潜在变量的复杂性。在CARLA制动系统和多个Gym基准上的实验表明，与现有方法相比，DWM生成的精确可达管更精确，同时确保了与真实控制器的一致性。