game semantics的意思|示意
美 / /
英 / /
游戏语义
game semantics的网络常见释义
博弈语义 Mocha可以使用交替时态逻辑Alternating-time temporal logic (ATL)来描述属性,而ATL的博弈语义(game semantics)使ATL可以用竞赛树(winning strategies)的方式进行模型检测。这使得我们可以更为直观的理解MPCS协议关键属性的验证过程。
game semantics相关短语
1、 Game-theoretical semantics 博弈论语义学