Beyond Runtime Enforcement: Shield Synthesis as Defensibility Analysis for Adversarial Networks

本文重新审视了强化学习中的盾牌合成技术，指出其传统上作为运行时安全机制的定位存在偏差。作者提出将相同的自动机理论工具——规范编译、乘积博弈构建、吸引子计算和获胜区域提取——重新解读为设计时的分析仪器，其输出是对系统安全属性的结构性洞察，而非

历史摘要 · 未重新核验 · arXiv cs.CR