conftrace_

piecewise affine function

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

linear programming (2) bound propagation (1) contract design (1) neural shape representation (1) neural network (1) discontinuous relu (1) polyhedral region (1) set covering algorithm (1) positive invariant set (1) data driven (1)

Papers

Data driven verification of positive invariant sets for discrete, nonlinear systems L4DC 2024 BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming ICML 2023 Deep Contract Design via Discontinuous Networks NeurIPS 2023 Polyhedral Complex Extraction from ReLU Networks using Edge Subdivision ICML 2023 Template-Based Piecewise Affine Regression L4DC 2023