Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction

14 December 2023

Papers citing "Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction"

16 / 16 papers shown

Title
Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions Matthew Kim William Sharpless Hyun Joe Jeong S. Tonkens Somil Bansal Sylvia Herbert 4 0 0 16 May 2025
Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations Chong He Mugilan Mariappan Keval Vora Mo Chen 26 0 0 15 May 2025
Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Zeyuan Feng Le Qiu Somil Bansal 35 0 0 04 May 2025
Resolving Conflicting Constraints in Multi-Agent Reinforcement Learning with Layered Safety Jason J. Choi Jasmine Jerry Aloor Jingqi Li Maria G. Mendoza H. Balakrishnan Claire J. Tomlin 31 0 0 04 May 2025
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets Prashant Solanki Nikolaus Vertovec Yannik Schnitzer Jasper J. van Beers Coen de Visser Alessandro Abate 40 0 0 31 Mar 2025
Bridging conformal prediction and scenario optimization Niall O'Sullivan Licio Romao Kostas Margellos 42 0 0 30 Mar 2025
On Training-Conditional Conformal Prediction and Binomial Proportion Confidence Intervals Rudi Coppola Manuel Mazo Jr 90 0 0 11 Feb 2025
Interaction-aware Conformal Prediction for Crowd Navigation Zhe Huang Tianchen Ji Heling Zhang Fatemeh Cheraghi Pouria Katherine Rose Driggs-Campbell Roy Dong 174 0 0 10 Feb 2025
Conformalized Reachable Sets for Obstacle Avoidance With Spheres Yongseok Kwon Jonathan Michaux Seth Isaacson Bohao Zhang Matthew Ejakov Katherine A. Skinner Ram Vasudevan 39 2 0 13 Oct 2024
Conformalized Interactive Imitation Learning: Handling Expert Shift and Intermittent Feedback Michelle Zhao Reid G. Simmons H. Admoni Aaditya Ramdas Andrea Bajcsy 46 4 0 11 Oct 2024
Convergence Guarantees for Neural Network-Based Hamilton-Jacobi Reachability William Hofgard 29 2 0 03 Oct 2024
Robots that Learn to Safely Influence via Prediction-Informed Reach-Avoid Dynamic Games Ravi Pandya Changliu Liu Andrea V. Bajcsy 44 1 0 18 Sep 2024
Robots that Suggest Safe Alternatives Hyun Joe Jeong Andrea V. Bajcsy Andrea Bajcsy OffRL 46 1 0 15 Sep 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 75 14 0 31 Aug 2024
Conformalized Teleoperation: Confidently Mapping Human Inputs to High-Dimensional Robot Actions Michelle Zhao Reid G. Simmons H. Admoni Andrea Bajcsy 36 2 0 11 Jun 2024
Conformal Predictive Programming for Chance Constrained Optimization Yiqi Zhao Xinyi Yu Matteo Sesia Lars Lindemann Lars Lindemann 42 3 0 12 Feb 2024