Can Proof Assistants Verify Multi-Agent Systems?

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

内容提要

本研究提出了一种名为Soda的语言,旨在解决多智能体系统验证中的不足,支持将代码编译为Scala和Lean,扩展了验证工具的适用性,具有广泛的应用价值。

🏷️

标签

➡️

继续阅读