消息
×
loading..
中文版 | English

在结果中检索

KMS

浏览/检索结果: 共3条，第1-3条 帮助

已选(0)清除 条数/页：   排序方式：
Qualitative and Quantitative Model Checking Against Recurrent Neural Networks 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2024, 卷号: 39, 期号: 6, 页码: 1292-1311
作者:  Liang, Zhen;  Liu, Wan-Wei;  Song, Fu;  Xue, Bai;  Yang, Wen-Jing
Adobe PDF(1224Kb)  |  收藏  |  浏览/下载：94/1  |  提交时间：2025/02/12
Verifying ReLU Neural Networks from a Model Checking Perspective 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 6, 页码: 1365-1381
作者:  Liu, Wan-Wei;  Song, Fu;  Zhang, Tang-Hao-Ran;  Wang, Ji
Adobe PDF(772Kb)  |  收藏  |  浏览/下载：268/0  |  提交时间：2020/12/14
On the complexity of omega-pushdown automata 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60, 期号: 11
作者:  Lei, Yusi;  Song, Fu;  Liu, Wanwei;  Zhang, Min
Adobe PDF(280Kb)  |  收藏  |  浏览/下载：699/0  |  提交时间：2017/08/26
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页