Computer Aided Verification
Springer International Publishing
Chapter title |
An Abstraction-Based Framework for Neural Network Verification
|
---|---|
Chapter number | 3 |
Book title |
Computer Aided Verification
|
Published by |
Springer, Cham, July 2020
|
DOI | 10.1007/978-3-030-53288-8_3 |
Book ISBNs |
978-3-03-053287-1, 978-3-03-053288-8
|
Authors |
Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz, Elboher, Yizhak Yisrael, Gottschlich, Justin, Katz, Guy |
Country | Count | As % |
---|---|---|
United States | 1 | 50% |
Unknown | 1 | 50% |
Type | Count | As % |
---|---|---|
Science communicators (journalists, bloggers, editors) | 1 | 50% |
Scientists | 1 | 50% |
Country | Count | As % |
---|---|---|
Unknown | 45 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 10 | 22% |
Student > Bachelor | 4 | 9% |
Student > Doctoral Student | 3 | 7% |
Student > Master | 3 | 7% |
Professor > Associate Professor | 2 | 4% |
Other | 5 | 11% |
Unknown | 18 | 40% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 23 | 51% |
Pharmacology, Toxicology and Pharmaceutical Science | 1 | 2% |
Unspecified | 1 | 2% |
Agricultural and Biological Sciences | 1 | 2% |
Physics and Astronomy | 1 | 2% |
Other | 0 | 0% |
Unknown | 18 | 40% |