PulseAugur
中
实时 10:53:14
实体 ARCH-COMP

ARCH-COMP

PulseAugur coverage of ARCH-COMP — every cluster mentioning ARCH-COMP across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_167610 ·

    新的 DiffTilt 框架增强了安全关键系统的伪造能力

    研究人员开发了一个名为 DiffTilt 的新框架，用于识别自主系统和网络物理系统中的罕见安全关键故障。该方法使用扩散模型对环境和系统执行的分布进行指数倾斜，从而有效地放大了故障的概率。DiffTilt 通过避免乘法稀有性效应，在 ARCH-COMP 等基准测试中表现出具有竞争力或改进的伪造性能，优于传统的条件采样方法。