Stochastic model checking; Infinite-state; Markov chains;
机译:随机对角线近似最大下降优化的消失梯度分析
机译:随机分析的多状态两终端网络的近似可靠性
机译:切线地图间歇性作为高维全随机动力系统中间歇性的近似分析:纠结的自然模型
机译:耐力:无限态分析随机近似模型检查器
机译:使用Martingales对无限状态随机系统进行演绎验证。
机译:生化模拟:随机近似随机和混合方法
机译:无限状态随机Petri网的窗口机制分析
机译:基于广义随机petri网的近似可执行性分析(修订版)。