conftrace_

polytope approximation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

embedding technique (1) reachability analysis (1) neural network controller (1) safety verification (1) feature map (1) dynamical system (1) linear classifier (1) piecewise linear function (1)

Papers

Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes L4DC 2023 Nested Barycentric Coordinate System as an Explicit Feature Map AISTATS 2021