Algorithms for Verifying Deep Neural Networks

by Mykel J. Kochenderfer, Changliu Liu, Christopher Strong, et al.

Neural networks have been widely used in many applications, such as image classification and understanding, language processing, and control of autonomous systems. These networks work by mapping inputs to outputs through a sequence of layers. At each layer, the input to that layer undergoes an affine transformation followed by a simple nonlinear transformation before being passed to the next layer.

Neural networks are being used for...

• Format: Paperback
• Language: English
• ISBN: 1680837869
• ISBN13: 9781680837865
• Release Date: February 2021
• Publisher: Now Publishers
• Length: 178 Pages
• Weight: 0.57 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"