LTL Verification of Memory Neural Agents

💡 原文英文,约100词,阅读约需1分钟。
📝

内容提要

本文提出了一种框架,用于验证记忆神经多智能体系统(MN-MAS)对无限制LTL规格的有效性,克服了以往方法的局限性。通过范围模型检查和高效的约束求解,显著提升了验证速度,具有重要的应用潜力。

🏷️

标签

➡️

继续阅读