UPPAAi：LLM 辅助的 UPPAAL 建模与验证

UPPAAi 让 LLM 编排 UPPAAL 完成建模与验证。

资讯摘要

论文提出 UPPAAi，作为实时与信息物理系统建模工具 UPPAAL 的扩展，用户可通过与 LLM 对话来构建、解释、调试和规约模型。其原则是用户提出请求，LLM 负责提议、解释与编排，最终由 UPPAAL 完成验证；UPPAAL 的编辑器、查询与验证器通过 Tools API 暴露。作者报告了七个案例研究，覆盖时间自动机、随机混合自动机与策略学习。

要点速读

1. UPPAAi 通过 Tools API 将 UPPAAL 编辑器、查询和验证器开放给 LLM 调用。
2. 设计原则为用户请求、LLM 提议解释并编排、UPPAAL 验证。
3. 作者报告七个案例研究，涵盖时间自动机、随机混合自动机和策略学习。

中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/31 08:00:18（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。