The Marabou Framework for Verification and Analysis of Deep Neural Networks 论文

2019Lecture notes in computer science引用 475
DOIPDF
Adversarial Robustness in Machine LearningExplainable Artificial Intelligence (XAI)Anomaly Detection Techniques and Applications
人工智能Anomaly Detection Techniques and ApplicationsAdversarial Robustness in Machine LearningExplainable Artificial Intelligence (XAI)
相关技术:Anomaly Detection Techniques and ApplicationsAdversarial Robustness in Machine Learning
关系图谱

The Marabou Framework for Verification and Analysis of Deep Neural Networks · 作者

C

Clark Barrett

M

Mykel J. Kochenderfer

D

David L. Dill

A

Aleksandar Zeljić

H

Haoze Wu

S

Shantanu Thakoor

P

Parth Shah

R

Rachel Lim

C

Christopher Lazarus

K

Kyle D. Julian

D

Duligur Ibeling

D

Derek A. Huang

G

Guy Katz