Verifying Low-Dimensional Input Neural Networks via Input Quantization

نویسندگان

چکیده

Deep neural networks are an attractive tool for compressing the control policy lookup tables in systems such as Airborne Collision Avoidance System (ACAS). It is vital to ensure safety of controllers via verification techniques. The problem analyzing ACAS Xu has motivated many successful network verifiers. These verifiers typically analyze internal computation decide whether a property regarding input/output holds. intrinsic complexity renders slow run and vulnerable floating-point error.This paper revisits original verifying networks. take low-dimensional sensory inputs with training data provided by precomputed table. We propose prepend input quantization layer network. Quantization allows efficient state enumeration, whose bounded size space. equivalent nearest-neighbor interpolation at time, which been shown provide acceptable accuracy simulation. Moreover, our technique can deliver exact results immune error if we directly enumerate outputs on target inference implementation or accurate simulation implementation.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Input Convex Neural Networks

This paper presents the input convex neural network architecture. These are scalar-valued (potentially deep) neural networks with constraints on the network parameters such that the output of the network is a convex function of (some of) the inputs. The networks allow for efficient inference via optimization over some inputs to the network given others, and can be applied to settings including ...

متن کامل

Visual Explanations for Convolutional Neural Networks via Input Resampling

The predictive power of neural networks often costs model interpretability. Several techniques have been developed for explaining model outputs in terms of input features; however, it is difficult to translate such interpretations into actionable insight. Here, we propose a framework to analyze predictions in terms of the model’s internal features by inspecting information flow through the netw...

متن کامل

Input output stability of recurrent neural networks

i Foreword Recurrent neural networks are an attractive tool for both practical applications and for the modeling of biological nerve nets, but their successful application requires an understanding of their dynamical properties, in particular, their stability. The present work provides an in-depth study of this challenging issue and contributes a number of new results that are also important fo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Lecture Notes in Computer Science

سال: 2021

ISSN: ['1611-3349', '0302-9743']

DOI: https://doi.org/10.1007/978-3-030-88806-0_10