Trustworthy Intelligent Systems
Home
Members
Research
Publications
Projects
Teaching
Discrete Mathematics
Formal Methods
Reinforcement Learning
Algorithms Design and Analysis
Contacts
Sino-Europe Institute
Details for the publication 20233134.
刘颖
,
杨鹏飞
,
张立军
, 吴志林
(
)
, 冯元
(
)
:
前馈神经网络和循环神经网络的鲁棒性验证综述
. In
软件学报
34(7):3134, 2023.
DOI
BIB