Safety and robustness for deep learning with provable guarantees (invited paper - keynote)

書誌詳細
第一著者: Kwiatkowska, M
フォーマット: Conference item
言語:English
出版事項: ACM Digital Library 2020