1.Neuro-Symbolic Verification of Deep Neural Networks
Xie, X, Kersting, K, More...
PROCEEDINGS OF THE THIRTY-FIRST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2022[1045-0823], Published 2022, Pages 3622-3628
收錄情况： WOS SCOPUS
WOS核心合集引用: 5
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫