A Classification-based Approach for Approximate Reachability

A Classification-based Approach for Approximate Reachability

8 March 2018

Vicencc Rubies-Royo

David Fridovich-Keil

Papers citing "A Classification-based Approach for Approximate Reachability"

15 / 15 papers shown

Title
Human-AI Safety: A Descendant of Generative AI and Control Systems Safety Andrea V. Bajcsy J. F. Fisac 40 7 0 16 May 2024
Conformal Prediction of Motion Control Performance for an Automated Vehicle in Presence of Actuator Degradations and Failures Richard Schubert Marvin Loba Jasper Sünnemann Torben Stolte Markus Maurer 29 0 0 25 Apr 2024
Parameterized Fast and Safe Tracking (FaSTrack) using Deepreach Hyun Joe Jeong Zheng Gong Somil Bansal Sylvia Herbert 50 1 0 11 Apr 2024
Physics-informed RL for Maximal Safety Probability Estimation Hikaru Hoshino Yorie Nakahira 27 1 0 25 Mar 2024
Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction Albert Lin Somil Bansal 24 25 0 14 Dec 2023
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks Jun Wang Haojun Chen Zihe Sun Y. Kantaros 38 0 0 17 Nov 2023
The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems Kai-Chieh Hsu Haimin Hu J. F. Fisac 45 74 0 11 Sep 2023
Generating Formal Safety Assurances for High-Dimensional Reachability Albert Lin Somil Bansal 36 22 0 25 Sep 2022
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives Jun Wang Samarth Kalluraya Y. Kantaros 29 8 0 13 Sep 2022
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods Charles Dawson Sicun Gao Chuchu Fan 46 232 0 23 Feb 2022
Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning Kai Hsu Vicencc Rubies-Royo Claire Tomlin J. F. Fisac 21 62 0 23 Dec 2021
Reachability-based Safe Planning for Multi-Vehicle Systems withMultiple Targets Jennifer C. Shih L. Ghaoui 16 2 0 05 Aug 2021
KDF: Kinodynamic Motion Planning via Geometric Sampling-based Algorithms and Funnel Control Christos K. Verginis Dimos V. Dimarogonas Lydia E. Kavraki 42 16 0 24 Apr 2021
DeepReach: A Deep Learning Approach to High-Dimensional Reachability Somil Bansal Claire Tomlin 23 153 0 04 Nov 2020
Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling T. Lew Marco Pavone AAML 30 53 0 24 Aug 2020