UPPAAi：面向 LLM 辅助建模、验证、分析与综合的 UPPAAL 扩展

UPPAAi 是 UPPAAL 的扩展，用户可通过与 LLM 对话来构建、解释、调试和规约模型，由 UPPAAL 负责验证。它通过 Tools API 开放 UPPAAL 编辑器、查询与验证器，原则是用户提出请求、LLM 提议解释并编排、UPPAAL 验证。七项案例研究覆盖时间自动机、随机混合自动机和策略学习，LLM 不仅能生成方案，还会主动建议未被问及的 UPPAAL 功能。