BriefGPT - AI 论文速递 · 2023-09-12T00:00:00Z 动态和控制模型的通用验证框架与证书合成 💡 原文中文，约300字，阅读约需1分钟。 📝 内容提要 该文提出了一个通用框架，利用神经网络和SMT求解器自动化地编码和定义系统规范、形式合成控制器和证明，并在广泛基准测试中进行了有效性评估。 🏷️ 标签 SMT求解器 广泛基准测试 神经网络 自动化 通用框架 阅读原文 生成长图 分享链接 已复制链接
