BriefGPT - AI 论文速递 · 2023-11-02T00:00:00Z 自主系统的形式方法 💡 原文中文，约300字，阅读约需1分钟。 📝 内容提要 该文介绍了应用形式方法于自治系统领域的最新研究，包括系统合成、不确定性、学习系统的行为界限、系统监测以及未来发展方向。 🏷️ 标签 不确定性 强化学习 形式方法 系统监测 自治系统 阅读原文 生成长图 分享链接 已复制链接
