年度	2026
全部作者	洪智铎
论文名称	Li-Jen Lin;Chih-Duo Hong*, 2026.07, 'Robustness Verification of Recurrent Neural Networks with Abstraction Refinement, ' International Conference on Artificial Intelligence Testing (AITest), IEEE.(*为通讯作者)
参考连结	https://nccur.lib.nccu.edu.tw/handle/140.119/163101
发表日期	2026-07-01
ISI Number	145355