2025年6月13日
Buchi 游戏、Buchi 自动机和 LTL
摘要： HKUST COMP4901X 课程笔记 Buchi 游戏 定义 Game Graph 为 \(G = (V, \ V_1, \ V_2, \ E )\)，\(G(V, E)\) 是一张图，\(V_1\)是属于玩家 1 的图上结点，\(V_2\) 是属于玩家 2 的图上结点。 定义 玩家 i 的游戏 阅读全文
posted @ 2025-06-13 11:29 sysss 阅读(28) 评论(0) 推荐(0)