机译:分支时间逻辑的模型检查游戏
Model chekcing; games; temproal logics; branching time;
机译:混合分支时间逻辑的模型检查
机译:分支时间逻辑的有界模型检查
机译:分支时间逻辑模型检查的偏序方法
机译:公平分支时间时间认知逻辑的模型检查游戏
机译:弥合逻辑和概率模型检查之间的差距。
机译:羚羊:用于分支时间布尔GRN分析的混合逻辑模型检查器
机译:公平分支时间临时认知逻辑的模型检查游戏
机译:模型检查分支时间时间逻辑CTL