论文标题
精炼建设性混合动力游戏
Refining Constructive Hybrid Games
论文作者
论文摘要
我们扩展了混合游戏的建设性差异游戏逻辑（CDGL），并具有与两个混合游戏相关的改进结缔组织。我们使用这种连接来证明将混合游戏与混合动力系统相关的民间定理。
We extend the constructive differential game logic (CdGL) of hybrid games with a refinement connective that relates two hybrid games. We use this connective to prove a folk theorem relating hybrid games to hybrid systems.
