Browsing byAuthorZhang, LJ
Showing results 2 to 3 of 3< previous
Issue Date | Title | Author(s) |
---|---|---|
2023-09-01 | Model Checking for Probabilistic Multiagent Systems | Fu, C; Turrini, A; Huang, X; Song, L; Feng, Y; Zhang, LJ |
2023-01-01 | Survey on Robustness Verification of Feedforward Neural Networks and Recurrent Neural Networks | Liu, Y; Yang, PF; Zhang, LJ; Wu, ZL; Feng, Y |