Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation.

Franz Braue, Zurab Khasidashvili, Konstantin Korovin

Browse the full FMCAD paper archive.