#safety-critical systems

4 stories · 0 in 7 days · 0 in 30 days

safety verification 1 deep neural networks 1

Stories, products and papers tagged "safety-critical systems", newest first.

Aug 26

PapersSelected10:23

$(\text{DNN})^2$: Doubly Non-Negative Relaxations

This method provides tighter verification bounds for neural networks in safety-critical autonomous systems, addressing a key challenge in deploying AI controllers.

#deep neural networks #safety verification #safety-critical systems

arXiv cs.LG@Hanna Jiamei Zhang et al. (4)Source

Jun 12

Papers09:22

Chinese contentPolyFlow：安全高效的约束流匹配框架，零违规生成

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

#flow matching #safety-critical systems #open-source and repositories

arXiv cs.AI@Jianming Ma et al. (7)Source

Jun 9

PapersSelected12:28

Chinese contentSTBP：面向时空神经网络的混合鲁棒性验证框架

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

#3D CNN #formal verification #safety-critical systems

arXiv cs.LG@Sherwin Varghese et al. (3)Source

May 14

PapersSelected13:27

Chinese contentVERIMED：神经符号方法审计自然语言软件需求

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

#neurosymbolic methods #safety-critical systems #VERIMED

arXiv cs.AI@Bethel Hall, William EiersSource