...
机译:通过策略环境增强ATL
LIAFA, CNRS & U. Paris-Diderot, Case 7014, F-75205 Paris cedex 13, France;
LSV, CNRS & ENS Cachan, 61 av. Pdt Wilson, F-94230 Cachan, France;
Temporal logics; Games for synthesis; Model checking; Satisfiability;
机译:基于ATL ATL预后指数的未经治疗的侵袭性成人T细胞白血病淋巴瘤(ATL ATL)的风险适应治疗策略的可能性:JCOG JCOG 9801的补充分析
机译:具有策略上下文的ATL:表现力和模型检查
机译:基于ATL预后指数的未经治疗的侵袭性成人T细胞白血病淋巴瘤(ATL)的可能性适应性治疗策略:JCOG9801研究的补充分析
机译:战略背景下的亚特兰大可满足性
机译:增强现实中的数字行为响应与非增强现实背景:随机对照试验
机译:TasselNetv2:使用上下文增强型局部回归网络对小麦峰值进行实地计数
机译:通过战略背景增强ATL