LSV, ENS Cachan CNRS INRIA Saclay, France;
Univ. of Illinois, Chicago, USA;
Univ. of Illinois, Urbana-Champaign, USA;
机译:线性时间时序逻辑到Biichi自动机的转换算法
机译:基于Biichi Automata的模型检查的扫描线方法
机译:基于边界深度子Biichi自动机的实时增量生命力验证
机译:具有非极值验收阈值的概率Buchi自动机
机译:概率语言和自动
机译:基于广义概率自动机的语义计算形式模型
机译:具有非极端接受阈值的概率Büchi自动机
机译:模糊星函数,概率自动机及其非概率自动机的逼近。