Automata; Probabilistic logic; Monitoring; Semantics; Gold; Markov processes; Time factors;
机译:基于广义概率自动机的语义计算形式化模型
机译:算法概率游戏语义学自动机游戏
机译:概率编程的定量语义学(特邀演讲)
机译:概率语义下的定量自动机
机译:概率语言和自动
机译:基于广义概率自动机的语义计算形式模型
机译:概率语义下一时钟定时自动机的定量模型检验
机译:模糊星函数,概率自动机及其非概率自动机的逼近。