机译:模型检查简单图形的下界
机译:DP下界用于单计数器自动机的等价检查和模型检查
机译:定向图的强连通性的新下限。应用于与Caccetta Ha:ggkvist猜想有关的特殊情况的直径定向图的强连通性上的新下界。应用于与Caccetta Ha:ggkvist猜想有关的特殊情况的直径定向图的强连通性上的新下界。适用于与Caccetta Ha:ggkvist猜想有关的特殊情况的直径
机译:模型检查下限的简单图形
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:最大公共子图:一些上限和下限结果
机译:模型检查简单图的下界