conftrace_

mixed monotone theory

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network verification (2) hyper-rectangular over-approximation (1) reachable set (1) forward invariance (1) interval reachability (1) interval analysis (1) reachability analysis (1) control barrier function (1) nonlinear dynamical system (1)

Papers

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers L4DC 2025 Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers L4DC 2023