reachability analysis

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems L4DC 2026 Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles AAAI 2026 Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification L4DC 2026 Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees AAAI 2026 Sample-Efficient Learning of Probabilistic Causes for Reachability in Markov Decision Processes with Probabilistic Guarantees UAI 2026 Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees L4DC 2026 Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures L4DC 2026 Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis RSS 2025 Generalizing Safety Beyond Collision-Avoidance via Latent-Space Reachability Analysis RSS 2025 Multi-Cost-Bounded Reachability Analysis of POMDPs UAI 2025 Resolving Conflicting Constraints in Multi-Agent Reinforcement Learning with Layered Safety RSS 2025 Safe, Out-of-Distribution-Adaptive MPC with Conformalized Neural Network Ensembles L4DC 2025 Uncertainty-aware Latent Safety Filters for Avoiding Out-of-Distribution Failures CoRL 2025 Decision boundary learning for safe vision-based navigation via Hamilton-Jacobi reachability analysis and support vector machine L4DC 2024 DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation AAAI 2024 Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions RSS 2024 Nonconvex scenario optimization for data-driven reachability L4DC 2024 Parameterized fast and safe tracking (FaSTrack) using DeepReach L4DC 2024 Safe Planning for Articulated Robots Using Reachability-based Obstacle Avoidance With Spheres RSS 2024 Sim-to-Lab-to-Real: Safe Reinforcement Learning with Shielding and Generalization Guarantees (Abstract Reprint) AAAI 2024 Verification of neural reachable tubes via scenario optimization and conformal prediction L4DC 2024 Verified Safe Reinforcement Learning for Neural Network Dynamic Models NeurIPS 2024 Zero-Sum Games between Mean-Field Teams: Reachability-Based Analysis under Mean-Field Sharing AAAI 2024 Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes L4DC 2023 Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe L4DC 2023