离散时间区间时序逻辑相关硕士博士期刊学术论文 - 信丰网

离散时间区间时序逻辑相关论文

离散时间区间时序逻辑可满足性的判定

目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质．我们约束时间域到离散时间，证明了离散时间区间时序逻辑......

期刊

模型检查离散时间区间时序逻辑时间正则图可满足性判定 model checking discrete limed interval temporal log

看过本文同时还关注