Reachability Analysis

Ask about this topic

Overview

Reachability analysis studies which states a system can reach over time, and whether it can reach a goal while avoiding unsafe states. Researchers use methods such as Hamilton–Jacobi equations, interval and zonotope set propagation, symbolic model checking, and reachability certificates to analyze dynamical systems, robots, games, and neural networks. Learning-based approaches approximate reachable sets or safety functions from data, sometimes adding probabilistic or formal guarantees, to support real-time planning and verification. A central challenge is scaling these methods to high-dimensional systems without making the results overly conservative or relying on inaccurate models.

Latest papers

CardsList

80 papers13 papers in the last four weeks, up 18% on the four weeks before. 0.1% of all new papers.

  1. Fundamental Limits of Sampling-Based Reachability: Geometry and Flow Distortion

    Oct 29, 2026Jixian Liu, Ihab Tabbara, Hussein Sibai +1Reachability AnalysisMinimax Estimation

    Department of Electrical and Computer Engineering, Johns Hopkins University, Baltimore, MD, USA · Department of Computer Science and Engineering, Washington University in St. Louis, St. Louis, MO, USA

  2. Compositional Diffusion Planning with Chunk Selection and Reachability Measure

    Oct 28, 2026Chanyoung Park, Youngjoong Kim, Jaesik ParkDiffusion-Based PlanningReachability Analysis

    Seoul National University

  3. Active Reachability Learning for Humanoid Recoverability Monitoring

    Oct 23, 2026Zeyuan Feng, Baljeet Singh, Sarthak Ranjeet Kaingade +2Reachability AnalysisHumanoid Robot Fall Recovery

    Stanford University · Amazon

  4. Temporal Difference Learning of Probabilistic Reach-Avoid Value Functions

    Oct 20, 2026Elias Fontanari, Pietro Noah Crestaz, Matteo Saveriano +1Reachability Analysis

    Industrial Engineering Department, University of Trento, Trento, Italy. · LAAS-CNRS, Université de Toulouse, CNRS, Toulouse, France.

  5. Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates

    Oct 20, 2026Mihaela-Larisa Clement, Tosca Pierro, Ezio Bartocci +1Safety-Critical ControlReachability Analysis

    TU Wien, Vienna, Austria · AIT Austrian Institute of Technology, Vienna, Austria · Università Politecnica delle Marche, Italy

  6. AWARE-RG: Abstraction Aware Explanation of Resiliency Graphs for Cyber Physical Systems

    Oct 14, 2026Shadaab Kawnain Bashir, Rakesh Podder, Philip D. Hopkins +3CPS SecurityCybersecurity

    Computer Science Department, Colorado State University, Fort Collins, Colorado, USA

  7. Certifying Almost-Sure Reachability in Unknown MDPs

    Oct 13, 2026S Akshay, Suguman Bansal, Gaurav MahlaMarkov Decision ProcessesReachability Analysis

    Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Mumbai, India · School of Computer Science, Georgia Institute of Technology, Atlanta, GA, USA

  8. Convex-Analytic View of Query Selection for Safety Verification of Markov Decision Processes

    Oct 13, 2026Han Bao, Shinsaku Sakaue, Kazuki WatanabeFormal VerificationMarkov Decision Processes

    The Institute of Statistical Mathematics · Tohoku University · RIKEN AIP +2

  9. Reach-Avoid Certificates for Contact-based Stochastic Hybrid Systems

    Oct 12, 2026Tianyi Xia, Ryan K. CosnerSafety-Critical ControlDynamical Systems

    GRASP Lab, University of Pennsylvania, PA 19104, USA · the Department of Mechanical Engineering, Tufts University, 419 Boston Avenue, Medford, MA 02155, USA

  10. Learning Reachability-Based Safety Representations for Real-Time Robot Navigation in Unknown and Dynamic Environments

    Oct 12, 2026Bojan DerajićSafe Robot NavigationDynamic Obstacle Avoidance

    Faculty IV – Electrical Engineering and Computer Science of Technische Universität Berlin

  11. Limit-sure Winning in Team Games without Shared Randomness

    Oct 9, 2026Léonard Brice, Thomas A. Henzinger, Alipasha Montaseri +2Game TheoryFormal Verification

    Institute of Science and Technology Austria Klosterneuburg, Austria · École Polytechnique Fédérale de Lausanne Lausanne, Switzerland · Université libre de Bruxelles Brussels, Belgium

  12. Breaking the Space Barrier and its Application to Language Model Inference

    Oct 6, 2026Arip AsadulaevSchema-Constrained GenerationConstrained Decoding

    MBZUAI

  13. Context-Conditioned Hamilton-Jacobi Reachability for Adaptive Safety Filtering

    Oct 6, 2026Ali Fuat Sahin, Yunus Yazoglu, John Talbot +3Reachability AnalysisAutonomous Driving Safety Evaluation

    Ecole Polytechnique Fédérale de Lausanne · Stanford University · Toyota Research Institute

  14. A Reachability-based Safety Certificate for Dynamical System Motion Policies

    Sep 29, 2026Aditya Vats, Tianyi Xia, Nadia FigueroaReachability AnalysisSafety-Critical Control

    The authors are with the University of Pennsylvania, Philadelphia, PA, USA.

  15. When World Models Lie: Adaptive Safety Analysis Under Wrong Imaginations

    Sep 28, 2026John Cao, Somil BansalReachability AnalysisWorld Models for Robotics

    Department of Aeronautics and Astronautics, Stanford University

  16. Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features

    Sep 24, 2026Anne M. Tumlin, Ben Wooding, Zhenxuan Shao +3Neural Network VerificationReachability Analysis

    Vanderbilt University, Nashville, TN, USA

  17. NNV3: Expanding Neural Network Verification to New Architectures and Domains

    Sep 24, 2026Anne M. Tumlin, Samuel Sasaki, Ben Wooding +8Neural Network VerificationReachability Analysis

    Vanderbilt University, USA · The University of Texas at Dallas, USA

  18. CrossSafe: Towards Cross-Embodiment Latent Safety Filters

    Sep 24, 2026Ihab Tabbara, Yuxuan Yang, Hussein SibaiReachability AnalysisCross-Embodiment Robot Learning

    Department of Computer Science and Engineering, Washington University in St. Louis, St. Louis, MO, USA

  19. Fast Direction-Conditioned Reachability for Motion Prediction Under Model Uncertainty

    Sep 22, 2026Hrishav Das, Melkior OrnikReachability AnalysisVehicle Trajectory Prediction

    Department of Aerospace Engineering, University of Illinois Urbana-Champaign, Urbana, IL 61801, USA

  20. A Geometric Decision Procedure for STL Feasibility and Repair

    Sep 19, 2026Avinash MalikReachability AnalysisSignal Temporal Logic

    Department of Electrical, Computer, and Software Engineering, University of Auckland, Auckland, New Zealand

  21. Timely Activation of Safety Filters via One-Step Reachability Expansion

    Sep 15, 2026Javier BorquezReachability AnalysisSafety-Critical Control

    Universidad de Santiago de Chile Santiago, Chile

  22. Hamilton-Jacobi Reachability for Hybrid Systems: Unified Goal-Driven Control with Safety Guarantees

    Sep 15, 2026Javier Borquez, Shuang Peng, Somil BansalRobotic ControlReachability Analysis

    Universidad de Santiago de Chile · University of Southern California · Stanford University

  23. Safe Meta-Reinforcement Learning via Information Space Reachability

    Sep 14, 2026Zeyang Li, Sunbochen Tang, Navid AzizanReachability AnalysisConstrained RL

    Laboratory for Information and Decision Systems (LIDS), Massachusetts Institute of Technology, Cambridge, MA 02139, USA

  24. Gradient-Free Neural Hamilton-Jacobi Reachability for Scalable Safety-Critical Control

    Sep 12, 2026Zeyuan Feng, Ali Fuat Sahin, Santiago Thorup +1Reachability AnalysisRobotic Control

    Department of Mechanical Engineering, École Polytechnique Fédérale de Lausanne, Switzerland

  25. Online, Reachability-Aware, Sampling-Based Motion Planning

    Sep 8, 2026Brendan Gould, Zhiyuan Zhang, Panagiotis Tsiotras +1Robotic ControlReachability Analysis

  26. ShieldVLA: Feasibility-Aware Safety Alignment for Vision-Language-Action Models

    Sep 2, 2026Manan Tayal, Akshay NambiVision-Language-Action ModelsSafe RL

    Indian Institute of Science (IISc) · Microsoft Research

  27. LARC: Lazy Adaptive Reachability Certification of Robot Manipulator Trajectories

    Aug 30, 2026Yu Feng, Hao Wu, Yuzhe Wang +1Reachability AnalysisRobot Safety

    Department of Mechanical Engineering, National University of Singapore, Singapore · Singapore Institute of Manufacturing Technology, Agency for Science Technology and Research, Singapore

  28. An Enclosed Mode Is a Gauge Choice: Topology Relative to Reach in Certified Code World Models

    Aug 28, 2026Javier Aguilar MartínCode World ModelsWorld Models

    AGILabs

  29. DART-S: Reachability-Audited Active-Suspension Preconditioning for Off-Road Vehicle Jumps

    Aug 20, 2026Yu Hu, Fangzhou Zhao, Liang Chen +7Vehicle DynamicsFeedback Control

    Research Center for Intelligent Computing Systems, Institute of Computing Technology, CAS, Beijing 100190, China. · School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing 100049, China. · Dong Feng Off-Road Vehicle Co., Ltd, Shiyan 442000, China.

  30. Reachable Global Optimization in AI Systems: How Global Is Global?

    Aug 20, 2026Wesley ShuGlobal OptimizationReachability Analysis

    The Institute of Energetic Paradigm