BriefGPT - AI 论文速递 · 2023-11-02T00:00:00Z

自主系统的形式方法

📝

内容提要

该文介绍了应用形式方法于自治系统领域的最新研究，包括系统合成、不确定性、学习系统的行为界限、系统监测以及未来发展方向。

🏷️

标签

不确定性 强化学习 形式方法 系统监测 自治系统