#安全关键系统

共 4 条 · 7 天 0 条 · 30 天 0 条

信息流里打上「安全关键系统」标签的资讯、产品与论文，按刊登时间排，新的在上。

8月26日

论文精选10:23

这篇论文提出了一种新的方法，可以更精确地验证深度神经网络的安全性能，对于安全关键的自驾驶系统具有重要意义。

arXiv cs.LG@Hanna Jiamei Zhang 等 4 人原文

6月12日

做安全关键系统（如机器人规划、控制）的团队终于有了一个既能严格满足约束又不牺牲生成质量的方案，PolyFlow 的零违规和低延迟特性值得直接试试。

arXiv cs.AI@Jianming Ma 等 7 人原文

6月9日

论文精选12:28

做AI安全验证的团队终于有了兼顾精度和效率的方案——STBP用混合策略解决了传统方法要么太松要么太慢的困境，做视频/3D视觉鲁棒性验证的开发者可以直接参考。

arXiv cs.LG@Sherwin Varghese 等 3 人原文

5月14日

论文精选13:27

安全关键软件团队终于有了自动审计自然语言需求的实用工具——VERIMED用LLM+SMT组合把歧义、不一致和安全漏洞揪出来，做医疗、航空等领域的需求工程师可以直接关注。

arXiv cs.AI@Bethel Hall, William Eiers原文