Qualitative and Quantitative Model Checking Against Recurrent Neural Networks.
Saved in:
| Title: | Qualitative and Quantitative Model Checking Against Recurrent Neural Networks. |
|---|---|
| Authors: | Liang, Zhen1, liangzhen@nudt.edu.cn, Liu, Wan-Wei2, wwliu@nudt.edu.cn, Song, Fu3, songfu@shanghaitech.edu.cn, Xue, Bai4, xuebai@ios.ac.cn, Yang, Wen-Jing1, wenjing.yang@nudt.edu.cn, Wang, Ji1, wj@nudt.edu.cn, Pang, Zheng-Bin2, zhengbinpang@nudt.edu.cn |
| Source: | Journal of Computer Science & Technology (10009000); Nov2024, Vol. 39 Issue 6, p1292-1311, 20p |
| Database: | Applied Science & Technology Source |
| ISSN: | 10009000 |
|---|---|
| DOI: | 10.1007/s11390-023-2703-2 |
