ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2011.02082
  4. Cited By
DeepReach: A Deep Learning Approach to High-Dimensional Reachability

DeepReach: A Deep Learning Approach to High-Dimensional Reachability

4 November 2020
Somil Bansal
Claire Tomlin
ArXiv (abs)PDFHTML

Papers citing "DeepReach: A Deep Learning Approach to High-Dimensional Reachability"

45 / 95 papers shown
Agile But Safe: Learning Collision-Free High-Speed Legged Locomotion
Agile But Safe: Learning Collision-Free High-Speed Legged Locomotion
Tairan He
Chong Zhang
Wenli Xiao
Guanqi He
Changliu Liu
Guanya Shi
407
115
0
31 Jan 2024
Learning Local Control Barrier Functions for Safety Control of Hybrid
  Systems
Learning Local Control Barrier Functions for Safety Control of Hybrid Systems
Shuo Yang
Yu Chen
Xiang Yin
Rahul Mangharam
144
4
0
26 Jan 2024
Learning Performance-Oriented Control Barrier Functions Under Complex
  Safety Constraints and Limited Actuation
Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited ActuationConference on Robot Learning (CoRL), 2024
Shaoru Chen
Mahyar Fazlyab
277
9
0
11 Jan 2024
Pontryagin Neural Operator for Solving Parametric General-Sum
  Differential Games
Pontryagin Neural Operator for Solving Parametric General-Sum Differential GamesConference on Learning for Dynamics & Control (L4DC), 2024
Lei Zhang
Mukesh Ghimire
Zhenni Xu
Wenlong Zhang
Yi Ren
205
4
0
03 Jan 2024
Real-Time FJ/MAC PDE Solvers via Tensorized, Back-Propagation-Free
  Optical PINN Training
Real-Time FJ/MAC PDE Solvers via Tensorized, Back-Propagation-Free Optical PINN Training
Yequan Zhao
Xianwei Xiao
Xinling Yu
Ziyue Liu
Zhixiong Chen
G. Kurczveil
R. Beausoleil
Zheng Zhang
271
8
0
31 Dec 2023
Enhancing the Performance of DeepReach on High-Dimensional Systems
  through Optimizing Activation Functions
Enhancing the Performance of DeepReach on High-Dimensional Systems through Optimizing Activation Functions
Qian Wang
Tianhao Wu
142
1
0
29 Dec 2023
On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability
  Analysis
On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
Javier Borquez
Kaustav Chakraborty
Hao Wang
Somil Bansal
165
21
0
23 Dec 2023
Verification of Neural Reachable Tubes via Scenario Optimization and
  Conformal Prediction
Verification of Neural Reachable Tubes via Scenario Optimization and Conformal PredictionConference on Learning for Dynamics & Control (L4DC), 2023
Albert Lin
Somil Bansal
325
34
0
14 Dec 2023
Value Approximation for Two-Player General-Sum Differential Games with
  State Constraints
Value Approximation for Two-Player General-Sum Differential Games with State ConstraintsIEEE Transactions on robotics (TRO), 2023
Lei Zhang
Mukesh Ghimire
Wenlong Zhang
Zhenni Xu
Yi Ren
270
5
0
28 Nov 2023
Bridging Dimensions: Confident Reachability for High-Dimensional
  Controllers
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers
Yuang Geng
Jake Brandon Baldauf
Souradeep Dutta
Chao Huang
Ivan Ruchkin
540
8
0
08 Nov 2023
Solving Two-Player General-Sum Games Between Swarms
Solving Two-Player General-Sum Games Between SwarmsAmerican Control Conference (ACC), 2023
Mukesh Ghimire
Lei Zhang
Wenlong Zhang
Yi Ren
Zhenni Xu
191
1
0
02 Oct 2023
Iterative Reachability Estimation for Safe Reinforcement Learning
Iterative Reachability Estimation for Safe Reinforcement LearningNeural Information Processing Systems (NeurIPS), 2023
Milan Ganai
Zheng Gong
Chenning Yu
Sylvia Herbert
Sicun Gao
205
28
0
24 Sep 2023
Detecting and Mitigating System-Level Anomalies of Vision-Based
  Controllers
Detecting and Mitigating System-Level Anomalies of Vision-Based ControllersIEEE International Conference on Robotics and Automation (ICRA), 2023
Aryaman Gupta
Kaustav Chakraborty
Somil Bansal
279
9
0
23 Sep 2023
Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled
  and Forced Transitions
Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
Javier Borquez
Shuang Peng
Lydia Y. Chen
Quan Nguyen
Somil Bansal
208
3
0
19 Sep 2023
Continuous-time control synthesis under nested signal temporal logic
  specifications
Continuous-time control synthesis under nested signal temporal logic specificationsIEEE Transactions on robotics (TRO), 2023
Pian Yu
Xiao Tan
Dimos V. Dimarogonas
136
17
0
17 Sep 2023
The Safety Filter: A Unified View of Safety-Critical Control in
  Autonomous Systems
The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems
Kai-Chieh Hsu
Haimin Hu
J. F. Fisac
301
129
0
11 Sep 2023
Deception Game: Closing the Safety-Learning Loop in Interactive Robot
  Autonomy
Deception Game: Closing the Safety-Learning Loop in Interactive Robot AutonomyConference on Robot Learning (CoRL), 2023
Haimin Hu
Zixu Zhang
Kensuke Nakamura
Andrea V. Bajcsy
J. F. Fisac
308
13
0
03 Sep 2023
Tensor-Compressed Back-Propagation-Free Training for (Physics-Informed)
  Neural Networks
Tensor-Compressed Back-Propagation-Free Training for (Physics-Informed) Neural Networks
Yequan Zhao
Xinling Yu
Zhixiong Chen
Ziyue Liu
Sijia Liu
Zheng Zhang
PINN
192
14
0
18 Aug 2023
Refining Obstacle Perception Safety Zones via Maneuver-Based
  Decomposition
Refining Obstacle Perception Safety Zones via Maneuver-Based Decomposition
Sever Topan
Yuxiao Chen
Edward Schmerling
Karen Leung
Jonas Nilsson
Michael Cox
Marco Pavone
171
2
0
11 Aug 2023
Learning optimal controllers: a dynamical motion primitive approach
Learning optimal controllers: a dynamical motion primitive approachIFAC-PapersOnLine (IFAC-PapersOnLine), 2023
Hugo Tadashi M. Kussaba
Abdalla Swikir
Fan Wu
Anastasija Demerdjieva
Gitta Kutyniok
Sami Haddadin
89
1
0
10 Jun 2023
Neural Lyapunov and Optimal Control
Neural Lyapunov and Optimal Control
Daniel Layeghi
Steve Tonneau
M. Mistry
209
0
0
24 May 2023
Deep Model Predictive Control
Deep Model Predictive Control
Prabhat Kumar Mishra
M. V. Gasparino
A. E. B. Velasquez
Girish Chowdhary
266
1
0
27 Feb 2023
Neural Optimal Control using Learned System Dynamics
Neural Optimal Control using Learned System DynamicsIEEE International Conference on Robotics and Automation (ICRA), 2023
Selim Engin
Volkan Isler
165
3
0
20 Feb 2023
Trajectories for the Optimal Collection of Information
Trajectories for the Optimal Collection of InformationIEEE Aerospace Conference (AERO), 2023
Matthew R. Kirchner
David Grimsman
J. Hespanha
Jason R. Marden
90
0
0
06 Jan 2023
ISAACS: Iterative Soft Adversarial Actor-Critic for Safety
ISAACS: Iterative Soft Adversarial Actor-Critic for SafetyConference on Learning for Dynamics & Control (L4DC), 2022
Kai Hsu
D. Nguyen
J. F. Fisac
236
41
0
06 Dec 2022
Discovering Closed-Loop Failures of Vision-Based Controllers via
  Reachability Analysis
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability AnalysisIEEE Robotics and Automation Letters (RA-L), 2022
Kaustav Chakraborty
Somil Bansal
306
18
0
04 Nov 2022
Learning Autonomous Vehicle Safety Concepts from Demonstrations
Learning Autonomous Vehicle Safety Concepts from DemonstrationsAmerican Control Conference (ACC), 2022
Karen Leung
Sushant Veer
Edward Schmerling
Marco Pavone
138
11
0
06 Oct 2022
Online Update of Safety Assurances Using Confidence-Based Predictions
Online Update of Safety Assurances Using Confidence-Based PredictionsIEEE International Conference on Robotics and Automation (ICRA), 2022
Kensuke Nakamura
Somil Bansal
316
34
0
03 Oct 2022
Parameter-Conditioned Reachable Sets for Updating Safety Assurances
  Online
Parameter-Conditioned Reachable Sets for Updating Safety Assurances OnlineIEEE International Conference on Robotics and Automation (ICRA), 2022
Javier Borquez
Kensuke Nakamura
Somil Bansal
159
21
0
29 Sep 2022
Generating Formal Safety Assurances for High-Dimensional Reachability
Generating Formal Safety Assurances for High-Dimensional ReachabilityIEEE International Conference on Robotics and Automation (ICRA), 2022
Albert Lin
Somil Bansal
215
25
0
25 Sep 2022
Case Studies for Computing Density of Reachable States for Safe
  Autonomous Motion Planning
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion PlanningNASA Formal Methods (NFM), 2022
Yue Meng
Zeng Qiu
Md Tawhid Bin Waez
Chuchu Fan
162
5
0
16 Sep 2022
Computing Forward Reachable Sets for Nonlinear Adaptive Multirotor
  Controllers
Computing Forward Reachable Sets for Nonlinear Adaptive Multirotor ControllersAmerican Control Conference (ACC), 2022
Ju Han
Han-Lim Choi
73
0
0
16 Sep 2022
Approximating Discontinuous Nash Equilibrial Values of Two-Player
  General-Sum Differential Games
Approximating Discontinuous Nash Equilibrial Values of Two-Player General-Sum Differential GamesIEEE International Conference on Robotics and Automation (ICRA), 2022
Lei Zhang
Mukesh Ghimire
Wenlong Zhang
Zhenni Xu
Yi Ren
251
7
0
05 Jul 2022
TT-PINN: A Tensor-Compressed Neural PDE Solver for Edge Computing
TT-PINN: A Tensor-Compressed Neural PDE Solver for Edge Computing
Ziyue Liu
Xinling Yu
Zheng Zhang
PINN
111
8
0
04 Jul 2022
Reachability Constrained Reinforcement Learning
Reachability Constrained Reinforcement LearningInternational Conference on Machine Learning (ICML), 2022
Dongjie Yu
Haitong Ma
Sheng Li
Jianyu Chen
254
76
0
16 May 2022
Bridging Model-based Safety and Model-free Reinforcement Learning
  through System Identification of Low Dimensional Linear Models
Bridging Model-based Safety and Model-free Reinforcement Learning through System Identification of Low Dimensional Linear Models
Zhongyu Li
Jun Zeng
A. Thirugnanam
Koushil Sreenath
187
20
0
11 May 2022
Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement
  Learning
Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement Learning
Jingqi Li
Donggun Lee
Somayeh Sojoudi
Claire Tomlin
230
12
0
18 Mar 2022
Computation of Regions of Attraction for Hybrid Limit Cycles Using
  Reachability: An Application to Walking Robots
Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking RobotsIEEE Robotics and Automation Letters (RA-L), 2022
Jason J. Choi
Ayush Agrawal
Koushil Sreenath
Claire Tomlin
Somil Bansal
135
14
0
21 Jan 2022
SympOCnet: Solving optimal control problems with applications to
  high-dimensional multi-agent path planning problems
SympOCnet: Solving optimal control problems with applications to high-dimensional multi-agent path planning problemsSIAM Journal on Scientific Computing (SISC), 2022
Tingwei Meng
Zhen Zhang
Jérome Darbon
George Karniadakis
165
19
0
14 Jan 2022
Safety and Liveness Guarantees through Reach-Avoid Reinforcement
  Learning
Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning
Kai Hsu
Vicencc Rubies-Royo
Claire Tomlin
J. F. Fisac
217
83
0
23 Dec 2021
Fast PDE-constrained optimization via self-supervised operator learning
Fast PDE-constrained optimization via self-supervised operator learning
Sizhuang He
Mohamed Aziz Bhouri
P. Perdikaris
208
35
0
25 Oct 2021
Neural Network Verification in Control
Neural Network Verification in Control
M. Everett
AAML
155
19
0
30 Sep 2021
Learning Density Distribution of Reachable States for Autonomous Systems
Learning Density Distribution of Reachable States for Autonomous Systems
Yue Meng
Dawei Sun
Zeng Qiu
Md Tawhid Bin Waez
Chuchu Fan
260
20
0
14 Sep 2021
Comparison between safety methods control barrier function vs.
  reachability analysis
Comparison between safety methods control barrier function vs. reachability analysis
Zhichao Li
170
30
0
24 Jun 2021
Neural network architectures using min-plus algebra for solving certain
  high dimensional optimal control problems and Hamilton-Jacobi PDEs
Neural network architectures using min-plus algebra for solving certain high dimensional optimal control problems and Hamilton-Jacobi PDEsMCSS. Mathematics of Control, Signals and Systems (MCSS), 2021
Jérome Darbon
P. Dower
Tingwei Meng
265
28
0
07 May 2021
Previous
12