机译:使用游戏描述语言验证游戏
Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK;
Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK;
Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK;
verification; general game playing; game description language; alternating-time temporal logic; model checking;
机译:使用游戏描述语言对网络游戏进行黑盒和基于场景的测试
机译:使用游戏描述语言对网络游戏进行黑盒和基于场景的测试
机译:纠正:通过增强现实移动游戏和外语教育的印刷游戏进行纠正
机译:游戏描述语言的游戏等效性和双仿真
机译:哲学语法要素:维特根斯坦方法的概念基础(语言游戏,语法描述,游戏类比,命题,治疗)。
机译:PRISM游戏:具有多个目标的随机多玩家游戏的验证和策略综合
机译:使用游戏描述语言验证游戏