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