Reachability Analysis

Ask about this topic

Momentum

10 papers in the last four weeks, against 2 the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 48

All topics
CardsList

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

    Oct 6, 2026Arip AsadulaevConstrained DecodingEfficient Language Model Inference

    MBZUAI

  2. 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

  3. 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.

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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, 20 Symonds Street, Auckland, 1042, New Zealand.

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

    Sep 15, 2026Javier BorquezReachability AnalysisSafety-Critical Control

    Universidad de Santiago de Chile Santiago, Chile

  10. 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

  11. 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

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

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

  13. 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

  14. Forward Trajectory Steering for Hamilton-Jacobi Reachability Analysis

    Aug 11, 2026Sungje Park, Stephen TuReachability AnalysisNeural PDE Solvers

    with the Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA.

  15. Reachability in 3-VAS

    Aug 5, 2026Łukasz Kamiński, Sławomir LasotaReachability Analysis

    University of Warsaw, Poland

  16. Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study

    Aug 3, 2026Elizabeth Dietrich, Hanna Krasowski, Emir Cem Gezer +3Reachability AnalysisSafe Robot Navigation

    University of California, Berkeley · Norwegian University of Science and Technology

  17. Certifying Plans under Model Mismatch: A Trilemma for Reachability from Scarce Data

    Aug 3, 2026Yanliang Huang, Zhen Zhang, Ahmad Hafez +4Reachability AnalysisUncertainty Quantification

    School of Computation, Information and Technology, Technical University of Munich, Munich, Germany · School of Engineering, Hainan Bielefeld University of Applied Sciences, Hainan, China

  18. Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains (Extended Version)

    Aug 1, 2026Jianlin Li, Nick Guo, Peter Ye +1Reachability AnalysisMarkov Models

    David R. Cheriton School of Computer Science University of Waterloo, Canada

  19. DART: Dual-Axis Airborne Reachability-Gated Torque-Reaction for Off-Road Vehicle Jumps

    Jul 31, 2026Yu Hu, Fangzhou Zhao, Mingyuan Sang +7Reachability AnalysisVehicle Dynamics

    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.

  20. An Automated Framework for Extracting Reachable Attack Chains from Cyber Threat Intelligence Reports

    Jul 22, 2026Wenbo Hou, Ning Hu, Xueping Wang +2Reachability AnalysisCyber Threat Intelligence

    Guangdong Provincial Key Laboratory of Novel Security Intelligence Technologies, School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen, China · New Network Research Department, Peng Cheng Laboratory, Shenzhen, China · Great Bay University, Dongguan, China

  21. On the Limits of Sampling-Based Reachability: Geometry, Dynamics, and Sample Complexity

    Jul 21, 2026Jixian Liu, Ihab Tabbara, Hussein Sibai +1Reachability AnalysisSample Complexity

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

  22. PAC Learning in Turn-Based Stochastic Games with Reachability Objectives: A Decentralized Private Approach via Expected Conditional Distance

    Jul 16, 2026Ali Asadi, Krishnendu Chatterjee, Pavol KebisReachability AnalysisDecentralized Learning

    Institute of Science and Technology Austria (ISTA), Austria

  23. Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier

    Jul 5, 2026Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Asgeir J. Sørensen +1Neural Network VerificationReachability Analysis

    Univ Gustave Eiffel, COSYS-ESTAS F-59657 Villeneuve d’Ascq, France · Department of Marine Technology Norwegian University of Science and Technology (NTNU) Trondheim, Norway

  24. NeHMO: Neural Hamilton-Jacobi Reachability Learning for Decentralized Safe Multi-Arm Motion Planning

    Jul 1, 2026Qingyi Chen, Zachary Kingston, Ahmed H. QureshiMulti-Robot Motion PlanningConstrained Motion Planning

    Department of Computer Science at Purdue University, West Lafayette, IN, USA

  25. Sample-Efficient Learning of Probabilistic Causes for Reachability in Markov Decision Processes with Probabilistic Guarantees

    Jun 29, 2026Ryohei Oura, Georgios Fainekos, Hideki Okamoto +1Reachability AnalysisMarkov Decision Processes

    Toyota Research Institute of North America, Toyota Motor North America · Frontier Research Center, Toyota Motor Corporation

  26. HJ-SafeDMP: Hamilton-Jacobi Reachability-Guided Dynamic Movement Primitives for Provably Safe Robot Motion

    Jun 27, 2026Siddhanth Ramesh, Ravi PrakashReachability AnalysisControl Barrier Functions

    Cyber-Physical Systems, Indian Institute of Science (IISc), Bengaluru.

  27. Reachability Guarantees for Cart-Pole Swing-Up and Stabilization

    Jun 26, 2026Mohamed Khalid M JaffarReachability AnalysisLyapunov-Based Control

    Department of Aerospace Engineering University of Maryland, College Park, USA

  28. PRISM: Efficient and Locally Optimal Probabilistic Planning with Reachability Guarantees

    Jun 24, 2026Alex Rose, Christopher Jewison, Jonathan P. HowBelief-Space PlanningConstrained Motion Planning

    Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge MA 02139 · Draper, Cambridge MA 02139

  29. Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic

    Jun 19, 2026Lydia Bakiri, Jérémy Dubut, Sergio MoverReachability AnalysisSpatiotemporal Reasoning

    LIX, CNRS, École polytechnique, Institut Polytechnique de Paris, Palaiseau, France

  30. TNODEV: Toolbox for Neural ODE Verification

    Jun 15, 2026Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed GhazelNeural Network VerificationReachability Analysis

    Univ Gustave Eiffel, COSYS-ESTAS, F-59657 Villeneuve d’Ascq, France