| dc.contributor | 資管系 | - |
| dc.creator (作者) | 洪智鐸 | - |
| dc.creator (作者) | Lin, Li-Zen;Hong, Chih-Duo | - |
| dc.date (日期) | 2026-07 | - |
| dc.date.accessioned | 3-Jun-2026 10:52:15 (UTC+8) | - |
| dc.date.available | 3-Jun-2026 10:52:15 (UTC+8) | - |
| dc.date.issued (上傳時間) | 3-Jun-2026 10:52:15 (UTC+8) | - |
| dc.identifier.uri (URI) | https://ah.lib.nccu.edu.tw/item?item_id=182717 | - |
| dc.format.extent | 96 bytes | - |
| dc.format.mimetype | text/html | - |
| dc.relation (關聯) | The 8th IEEE International Conference on Artificial Intelligence Testing (IEEE AITest 2026), IEEE | - |
| dc.title (題名) | Robustness Verification of Recurrent Neural Networks with Abstraction Refinement | - |
| dc.title (題名) | Robustness verification of RNN with abstraction refinement | - |
| dc.type (資料類型) | conference | - |
