computational complexity; formal verification; process algebra; alternating fixpoint expressions; alternating nesting mu-calculus formula; function monotonicity; global model-checking algorithm; space complexity; time complexity; Model Checking; NP and co-NP problem; calculation complexity; mu-Calculus;
机译:一种用于定点表达评估的改进算法
机译:交替矩阵空间等距的改进算法:从理论到实践
机译:交替扫描顺序并结合算法以提高流量累积计算效率
机译:一种改进算法,用于评估MU - 微积分中的交替固定点表达式
机译:从表达,序列和图像数据预测多腺苷酸化位点和细胞膜的改进算法
机译:二次筛选算法中HPV病毒载量和16/18基因分型的交替组合评估
机译:一种用于定点表达式求值的改进算法