机译:在Event-B中引入概率推理
Univ Nantes CNRS UMR 6004 LS2N Nantes France;
Univ Nantes CNRS UMR 6004 LS2N Nantes France;
Univ Nantes CNRS UMR 6004 LS2N Nantes France;
Event-B; Probabilistic systems; Markov chains;
机译:在事件B中引入概率推理
机译:将随机推理整合到Event-B开发中
机译:使用事件B推理几乎确定的收敛性质
机译:概率弧度一致性:约束推理与概率推理之间的联系
机译:概率推理的概率耦合
机译:精神分裂症和自闭症挥发性高估?使用概率推理任务的比较研究
机译:在事件B中引入概率推理
机译:将默认和似然推理建模为概率推理