...
机译:弥合概率模型检查和概率规划之间的差距:调查,编译和经验比较
heuristicsmarkov decision processesplanningsearch;
机译:学习用于模型检查的概率模型:进化方法和实证研究
机译:经验确定概率参数的概率模型检查的渐近摄动界
机译:基于移动轨迹及其统计数据的概率模型检验在智能交通系统路径规划中的应用
机译:路径受限的马尔可夫决策过程:弥合概率模型检查与决策理论计划之间的差距
机译:弥合逻辑和概率模型检查之间的差距。
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:弥合概率模型检查和概率规划之间的差距:调查,编译和经验比较
机译:在某些区间数值检验二元Goldbach猜想的概率复杂性。建模,分析和模拟。