动态和控制模型的通用验证框架与证书合成

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

该文提出了一个通用框架,利用神经网络和SMT求解器自动化地编码和定义系统规范、形式合成控制器和证明,并在广泛基准测试中进行了有效性评估。

🏷️

标签

➡️

继续阅读