conftrace_

reachable set

10 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network verification (4) convex optimization (3) reachable set analysis (2) probabilistic guarantee (2) formal verification (2) safe region enumeration (1) safe region (1) occupation measure (1) interval reachability (1) formal safety verification (1)

Papers

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis L4DC 2026 Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers L4DC 2025 Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling AAAI 2025 Distributed on-the-fly control of multi-agent systems with unknown dynamics: Using limited data to obtain near-optimal control L4DC 2024 Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees AAAI 2024 Prediction without Preclusion: Recourse Verification with Reachable Sets ICLR 2024 Learning Approximate Forward Reachable Sets Using Separating Kernels L4DC 2021 Estimating Reachable Sets with Scenario Optimization L4DC 2020 Reachable Sets for Safe, Real-Time Manipulator Trajectory Design RSS 2020 Convex Optimization of Nonlinear Feedback Controllers via Occupation Measures RSS 2013