conftrace_

interval analysis

7 papers

Explore in graph

Co-occurring keywords · papers mentioning both

reachability analysis (2) neural network verification (2) adversarial robustness (2) mixed monotone theory (1) hyper-rectangular over-approximation (1) closed-loop control (1) bound propagation (1) multi-robot task allocation (1) robust image classification (1) neural network (1)

Papers

Certified Robust Invariant Polytope Training in Neural Controlled ODEs L4DC 2026 DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation AAAI 2024 Boosting Verified Training for Robust Image Classifications via Abstraction CVPR 2023 Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers L4DC 2023 Bounding the Search Space for Global Optimization of Neural Networks Learning Error: An Interval Analysis Approach JMLR 2016 Interval Tracker: Tracking by Interval Analysis CVPR 2014 Assessing Optimal Assignment under Uncertainty: An Interval-based Algorithm RSS 2010