Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming

标题
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming
作者
关键词
-
出版物
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Volume 67, Issue 1, Pages 1-15
出版商
Institute of Electrical and Electronics Engineers (IEEE)
发表日期
2020-12-22
DOI
10.1109/tac.2020.3046193

向作者/读者发起求助以获取更多资源

Find the ideal target journal for your manuscript

Explore over 38,000 international journals covering a vast array of academic fields.

Search

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started