1.Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
Khmelnitsky, I, Neid More...
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2021[0302-9743], Published 2021, Volume 12971, Pages 364-380
收錄情况： WOS SCOPUS
WOS核心合集引用: 10
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫