研究人员开发了一个名为 DiffTilt 的新框架,用于识别自主系统和网络物理系统中的罕见安全关键故障。该方法使用扩散模型对环境和系统执行的分布进行指数倾斜,从而有效地放大了故障的概率。DiffTilt 通过避免乘法稀有性效应,在 ARCH-COMP 等基准测试中表现出具有竞争力或改进的伪造性能,优于传统的条件采样方法。 AI
影响 这个新框架可以通过更有效地识别潜在故障来提高自主系统的可靠性和安全性。
排序理由 该集群包含一篇详细介绍新系统验证方法的论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →