机译:确定概率下推自动机与有限状态系统之间的概率模拟
Shanghai Jiao Tong Univ Basics Lab 800 Dongchuan Rd Shanghai Peoples R China;
Shanghai Jiao Tong Univ 800 Dongchuan Rd Shanghai Peoples R China;
Rhein Westfal TH Aachen Lehrstuhl Informat 2 Ahornstr 55 D-52074 Aachen Germany;
Probabilistic pushdown automata; Simulation preorder; Infinite-state systems;
机译:确定概率下推自动机与有限状态系统之间的概率模拟
机译:准出生死亡过程,类似树的QBD,概率一计数器自动机和下推系统
机译:决定概率双模距离概率自动机
机译:关于概率下推自动机时间特性的可判定性
机译:自动生成通用事件序列图,以指导基于仿真的复杂系统的动态概率风险评估。
机译:有限状态马尔可夫链的概率函数
机译:概率下推自动机与有限状态系统的概率模拟
机译:概率下推自动机的性质