计算机应用研究2016，Vol.33Issue(9)：2641-2644,4.DOI:10.3969/j.issn.1001-3695.2016.09.017
基于半张量积的完备性阈值求解方法
Efficient computation of completeness threshold via semi-tensor product method
摘要
关键词
有界模型检测/完备性阈值/半张量积/离散时间系统Key words
bounded model checking/completeness threshold/semi-tensor product/discrete time system分类
信息技术与安全科学引用本文复制引用
许海洋,庄毅,刘振斌..基于半张量积的完备性阈值求解方法[J].计算机应用研究,2016,33(9):2641-2644,4.基金项目
国家自然基金面上资助项目(61572253) （61572253）
国家自然科学基金青年科学基金资助项目(61403223) （61403223）
