机译:用于随机系统的时间逻辑控制的鲁棒动态规划
机译:利用现场可编程门阵列上的随机逻辑对混合不确定性进行快速故障树分析:在焊接缺陷风险的定量评估和缓解中的应用
机译:具有时间逻辑约束的随机环境中多主体持久性监视的近似动态规划方法
机译:PageRank,ProPPR和随机逻辑程序
机译:-RASCEL-基于随机计算元素逻辑规则矩阵的可编程模拟计算机。
机译:通过链接到书目搜索来扩展诊断决策支持程序的功能:在快速医学参考(QMR)程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
机译:PageRank,ProPPR和随机逻辑程序
机译:随机混合程序的随机微分动态逻辑