BriefGPT - AI 论文速递
·
PiShield: 一个用于学习要求的 NeSy 框架
原文中文，约200字，阅读约需1分钟。
📝
内容提要
本文介绍了构建障碍盾牌的方法，通过选择真实转移函数的样本，提取基于分区的双人安全游戏的有限表示。实验证明了统计安全保证，并研究了障碍盾牌对控制器学习的影响。
🎯
关键要点
-
本文介绍了构建障碍盾牌的方法。
-
使用野蛮方法选择真实转移函数的样本。
-
提取基于分区的双人安全游戏的近似有限表示。
-
尽管难以达到严格的安全保证，但提供了强大的统计安全保证。
-
通过原型实现和 UPPAAL STRATEGO 实验证明了安全性。
-
研究了障碍盾牌的合成对控制器学习的影响。
-
在一系列案例研究中应用了所提出的技术。
🏷️
