Iowa State University Ames IA USA;
Rice University Houston TX USA;
机译:基于SAT的显式LTL_F可靠性检查
机译:基于SAT的显式LTL推理及其在满意度检查中的应用。
机译:LTL可满足性检查的显式过渡系统构建方法
机译:可靠性检查任务时间LTL
机译:基于FPGA的可靠性检查
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:Leviathan:基于一次通过的树形Tableau的新的LTL满意度检查工具
机译:LTL符号可满足性检验的多编码方法