Safe Predictors for Enforcing Input-Output Specifications

01/29/2020
by   Stephen Mell, et al.
16

We present an approach for designing correct-by-construction neural networks (and other machine learning models) that are guaranteed to be consistent with a collection of input-output specifications before, during, and after algorithm training. Our method involves designing a constrained predictor for each set of compatible constraints, and combining them safely via a convex combination of their predictions. We demonstrate our approach on synthetic datasets and an aircraft collision avoidance problem.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset