...
机译:基于转换的Buchi自动机的线性时间逻辑公式快速转换
Department of Computer Science and Technology Tsinghua University;
Department of Computer Science and Technology Tsinghua University;
Buchi automata; Linear temporal logic; Satisfied information; Binary decision diagram;
机译:线性时间逻辑公式对基于转换的Buchi自动机的快速转变
机译:线性时间逻辑公式的时间范式
机译:关于线性时间逻辑与量子有限自动机的关系
机译:用仿真关系构建Buchi自动机从用于交替Buchi Automata的模拟关系
机译:线性时间逻辑到自动机的显式或符号转换
机译:使用贴纸自动机模型检查时间逻辑公式
机译:自动机和线性时序逻辑:具有基于过渡的接受的翻译
机译:模型检查是精细化:关于步比测试和线性时间时序逻辑