Year	2026
Authors	Chih-Duo Hong
Paper Title	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.(*為通訊作者)
Reference URL	https://nccur.lib.nccu.edu.tw/handle/140.119/163101
Date of Publication	2026-07-01
ISI Number	145355