Microsoft Research Queen Mary. University of London;
University of Cambridge;
li near temporal logic; formal verification; termination; program analysis; model checking;
机译:用决策谓词做出预言
机译:带有基于订单统计量的分层命令输入的N团队交互决策者的最优分布
机译:邻域分量分析和集合决策树对阿尔茨海默病不同阶段的预测
机译:用决策谓词做预言
机译:人力资源专业人士是否实践自我实现的预言:在雇用选择决定的背景下检查申请人性别和申请人体重的影响。
机译:预测的经济变化和经济决策中的自我实现的预言
机译:用决策谓词预言