Cover Image

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lin, Albert, Bansal, Somil
Format:	Preprint
Published:	2023
Subjects:	Robotics Artificial Intelligence Machine Learning Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
by: Lin, Albert, et al.
Published: (2025)

One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments
by: Lin, Albert, et al.
Published: (2024)

Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
by: Chakraborty, Kaustav, et al.
Published: (2022)

An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
by: Bajcsy, Andrea, et al.
Published: (2019)

Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes
by: Singh, Aditya, et al.
Published: (2024)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
by: Shen, Keyi, et al.
Published: (2026)

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
by: Feng, Zeyuan, et al.
Published: (2025)

Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker
by: Xia, Xingpeng, et al.
Published: (2024)

A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
by: Tayal, Manan, et al.
Published: (2025)

Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction
by: Tabbara, Ihab, et al.
Published: (2025)

Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems
by: Vincent, Joseph A., et al.
Published: (2022)

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
by: Wang, Hao, et al.
Published: (2025)

Deep Model Predictive Optimization
by: Sacks, Jacob, et al.
Published: (2023)

Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online
by: Borquez, Javier, et al.
Published: (2022)

Safety Optimized Reinforcement Learning via Multi-Objective Policy Optimization
by: Honari, Homayoun, et al.
Published: (2024)

Deep Reinforcement Learning for Advanced Longitudinal Control and Collision Avoidance in High-Risk Driving Scenarios
by: Chen, Dianwei, et al.
Published: (2024)

Multi-Resolution End-to-End Deep Neural Network for Optimizing Latency-Accuracy Tradeoff in Autonomous Driving
by: Weng, Qitao, et al.
Published: (2026)

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
by: Borquez, Javier, et al.
Published: (2023)

Physics-Driven Data Generation for Contact-Rich Manipulation via Trajectory Optimization
by: Yang, Lujie, et al.
Published: (2025)

Neural Backward Reach-Avoid Tubes with MPC Supervision for High-Dimensional Systems: An Application to Safe Spacecraft Docking
by: Thorup, Santiago, et al.
Published: (2026)

SAFE-GIL: SAFEty Guided Imitation Learning for Robotic Systems
by: Ciftci, Yusuf Umut, et al.
Published: (2024)

Preemptive Detection and Steering of LLM Misalignment via Latent Reachability
by: Karnik, Sathwik, et al.
Published: (2025)

Detecting and Mitigating System-Level Anomalies of Vision-Based Controllers
by: Gupta, Aryaman, et al.
Published: (2023)

Neural Fidelity Calibration for Informative Sim-to-Real Adaptation
by: Yu, Youwei, et al.
Published: (2025)

Learning Multiple Initial Solutions to Optimization Problems
by: Sharony, Elad, et al.
Published: (2024)

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
by: Shi, Zhouxing, et al.
Published: (2024)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

Predictive Safety Shield for Dyna-Q Reinforcement Learning
by: Pin, Jin, et al.
Published: (2025)

Neural-Fly Enables Rapid Learning for Agile Flight in Strong Winds
by: O'Connell, Michael, et al.
Published: (2022)

Dropout MPC: An Ensemble Neural MPC Approach for Systems with Learned Dynamics
by: Syntakas, Spyridon, et al.
Published: (2024)

Predictive Red Teaming: Breaking Policies Without Breaking Robots
by: Majumdar, Anirudha, et al.
Published: (2025)

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
by: Borquez, Javier, et al.
Published: (2023)

Temporal Transfer Learning for Traffic Optimization with Coarse-grained Advisory Autonomy
by: Cho, Jung-Hoon, et al.
Published: (2023)

Efficient Policy Optimization in Robust Constrained MDPs with Iteration Complexity Guarantees
by: Ganguly, Sourav, et al.
Published: (2025)

Safe Adaptive Cruise Control Under Perception Uncertainty: A Deep Ensemble and Conformal Tube Model Predictive Control Approach
by: Li, Xiao, et al.
Published: (2024)

From Imitation to Optimization: A Comparative Study of Offline Learning for Autonomous Driving
by: Guillen-Perez, Antonio
Published: (2025)

Learning Pivoting Manipulation with Force and Vision Feedback Using Optimization-based Demonstrations
by: Shirai, Yuki, et al.
Published: (2025)

DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving
by: Yang, Rui, et al.
Published: (2026)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
by: Hashemi, Navid, et al.
Published: (2024)