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

書誌詳細
第一著者: Kwiatkowska, M
フォーマット: Conference item
出版事項: Association for Computing Machinery 2019