Markov processes; Computational modeling; Analytical models; Mathematical model; Random processes; Sociology; Statistics;
机译:保形几何代数的高阶逻辑形式化及其在验证机器人操纵算法中的应用
机译:高阶逻辑中可靠性框图的形式化
机译:高阶逻辑证明系统中线性空间理论的形式化
机译:出生死亡和IID流程在高阶逻辑中的形式化
机译:一般的生死过程:概率,推论和应用。
机译:执行逻辑计算的细菌联盟的形式化设计过程
机译:错误到:在高阶逻辑中的故障树形形式化:深度嵌入方法
机译:出生 - 死亡多项式的渐近性和生 - 死过程的准限制分布。