机译:公平仿真关系,奇偶校验游戏和Buchi自动机的状态空间缩减
机译:非确定性和概率的Buechi自动机的公平仿真:一种融合的观点
机译:奇偶校验自动机的状态空间减少
机译:Buchi Automata的公平模拟关系,奇偶校验和状态空间减少
机译:公平游戏:《魔兽世界》中公平协商的人类学研究。
机译:基于公平偏好的集群创新网络的进化博弈模型及仿真研究
机译:Büchiautomata的公平模拟关系,奇偶校验游戏和状态空间缩减
机译:用于线性时序逻辑的Buechi自动机转换器的自动测试。