Reachability

Ask about this topic

Recent momentum

-65%

6 papers in the last 28 days · 0.2% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-14

4 new papers

A weekly snapshot of new work published in Reachability.

Period ending 2026-09-07

1 new paper

A weekly snapshot of new work published in Reachability.

108 papers

Latest in Reachability

Open your feed →
CardsList

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

    Sep 15, 2026Javier BorquezSafety FiltersReachability

  2. Recurrent GraphNeural NetworkswithSet-BasedAggregation

    Sep 14, 2026Blai BonetNeural Network VerificationReachability

  3. VertexCBF: Improving Neural Control Barrier Functions via Vertex-Restricted Control Search

    Sep 14, 2026Bojan Derajić, Sebastian Bernhard, Wolfgang HönigControl Barrier FunctionsNeural Control

  4. Fast Constraint Extraction for Corrective Control under STL Specifications via Logical Dependency Tracking

    Sep 8, 2026Antoine Besset, Joris Tillet, Chuchu Fan +1Signal Temporal LogicMulti-Objective Constraint Inference

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

    Sep 8, 2026Brendan Gould, Zhiyuan Zhang, Panagiotis Tsiotras +1Model Predictive ControlSafe Motion Planning

  6. Reachability-Certified Subteam Decomposition for Locally Interacting Multi-Agent MDPs

    Sep 8, 2026Xiangwu Wang, Chengwei Cao, Hongyuan TangReachability

  7. ResidualAuth: What Authorization State Must Language Agents Preserve under Revocable Delegation?

    Sep 8, 2026Moonwon Choi, Seokho Jeong, Seunggeun LeeAuthorizationDelegation

  8. Sampling-based Certified Planning with Graphs of Convex Sets

    Aug 30, 2026Peng Xie, Amr AlanwarCollision-Free TrajectoriesReachability

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

    Aug 30, 2026Yu Feng, Hao Wu, Yuzhe Wang +1ReachabilityRobot Trajectories

  10. Forward Trajectory Steering for Hamilton-Jacobi Reachability Analysis

    Aug 11, 2026Sungje Park, Stephen TuReachabilityStochastic Exploration

  11. Exact Model-Free Policy Iteration for Co-safe LTL Planning

    Aug 5, 2026Zetong Xuan, Yu WangModel-Free Reinforcement LearningLinear Temporal Logics

  12. Optimal Constrained sc-LTL Planning in MDPs via Switching Policies

    Aug 5, 2026Zetong Xuan, Yu WangLinear Temporal LogicsMarkov Decision Processes

  13. Reachability in 3-VAS

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

  14. Shielding for Higher-Order Safety

    Aug 4, 2026Filip Cano, Thomas A. Henzinger, Konstantin KueffnerSafety ConstraintsShielding

  15. Reachability Is Not Realization: Tracing the Sources of LLM Benchmark Gains

    Aug 4, 2026Yanchao Li, Wanhao Liu, Jiaqing Xie +4Reachability

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

    Aug 3, 2026Elizabeth Dietrich, Hanna Krasowski, Emir Cem Gezer +3VesselsReachability

  17. Probabilistic Reachable-Action Verification of Visuomotor Policies via Set-Based Training

    Aug 3, 2026Yanliang Huang, Zhuocheng Zhang, Peng Xie +5Visuomotor PolicyReachability

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

    Aug 3, 2026Yanliang Huang, Zhen Zhang, Ahmad Hafez +4ReachabilityAction-Conditioned Transition Operator

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

    Aug 1, 2026Jianlin Li, Nick Guo, Peter Ye +1Probabilistic Model CheckingMarkov

  20. Towards General Language-Conditioned Latent Safety Filters

    Jul 31, 2026Ihab Tabbara, Yuxuan Yang, Hussein SibaiSafety FiltersVision-Language-Action

  21. Learning Lookahead Lemmas for Neural Network Verification

    Jul 31, 2026Liam Davis, Haoze WuNeural Network VerificationVerification

  22. Library Reachability in LSR-Synth: How Anti-Memorization Design Changes the Measurement of Symbolic Discovery

    Jul 30, 2026Zhan'ao Yao, Liang Yin, Zhihao Gao +9Scientific DiscoveryHuman-Curated Benchmark

  23. Action from Adjacent Set in Physical Space Outperforms the Best Prediction in World Models

    Jul 26, 2026Liangyu Li, Qingwen Liu, Mingqing Liu +1Action-Conditioned PredictionLatent World Models

  24. Trajectory-Regularized Stochastic Optimal Control via KL Divergence

    Jul 24, 2026Mintae Kim, Koushil SreenathStochastic Optimal ControlKullback-Leibler Regularization

  25. Can Generative Recommendation Reach Cold Items? A Temporal Perspective on Semantic-ID Generation

    Jul 23, 2026Jie Peng, Yanping Zheng, Zhewei Zhe +3Recommendation ArchitectureSemantic Region

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

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

  27. Lookahead Branching for Neural Network Verification

    Jul 19, 2026Liam Davis, Duo Zhou, Huan Zhang +3Neural Network VerificationFormal Verification

  28. Risk-Aware Belief Control Barrier Functions over Random Finite Sets

    Jul 16, 2026Shaohang Han, Gang Chen, Yixi Cai +5Control Barrier FunctionsObstacle Avoidance

  29. SMC-ES: Automated synthesis of formally verified control policies

    Jul 16, 2026Riccardo Curcio, Toni Mancini, Enrico TronciCyber-Physical SystemModel-Free Reinforcement Learning

  30. 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 KebisZero--Sum Differential GameReachability

  31. MAGIC: Transition-Aware Generation of Navigable Multi-Scene Game Worlds with Large Language Models

    Jul 13, 2026Tsz Hei Fan, Choi Wing Fung, Yuxuan Wan +2Large Language Model PlanningReachability

  32. Mirror Horizon: Viable Path Entropy as a Measure of Bounded Reflection

    Jul 11, 2026Tiantian ZhangReflectionsReflection Layers

  33. Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic

    Jul 9, 2026Alex Beaudin, Hanna Krasowski, Eric Palanques-Tost +2Signal Temporal LogicGradient-Based Optimization

  34. Widest-Path Reachability Fields for Connectivity-Preserving Slender Structure Segmentation

    Jul 8, 2026Youcheng Zong, Runda Jia, Minxuan Hu +2Receptive FieldsVascular Network

  35. Tensor Train Diffusion: Leveraging Low-Rank Structures for High-Dimensional Score-Based Sampling

    Jul 7, 2026Robert Gruhlke, Julius Berner, David Sommer +1Diffusion SamplingDiffusion Models

  36. Revisiting Scene Graph Generation from the Perspective of Detector-Conditioned Reachability

    Jul 7, 2026Runfeng Qu, Pia K Bideau, Ole Hall +33D Scene GraphsUnsupervised Detectors

  37. Generalization in offline RL: The structure is more important than the amount of pessimism

    Jul 2, 2026Max Weltevrede, Matthijs T. J. Spaan, Wendelin BöhmerOffline Safe Reinforcement LearningPessimism

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

    Jul 1, 2026Qingyi Chen, Zachary Kingston, Ahmed H. QureshiRobotic PlanningReachability

  39. A Category Theory Account of AI Identity

    Jun 30, 2026Andrea FerrarioIdentitySheaf

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

    Jun 29, 2026Ryohei Oura, Georgios Fainekos, Hideki Okamoto +1Markov Decision ProcessesReachability

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

    Jun 27, 2026Siddhanth Ramesh, Ravi PrakashReachabilityRobotic Manipulator

  42. Entropy-Regularized Reinforcement Learning for Linear-Quadratic Stackelberg Differential Games in Regime-Switching Diffusion Models

    Jun 27, 2026Congde Hu, Danping Li, Lin Xu +1Zero--Sum Differential GameHierarchical Reinforcement Learning

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

    Jun 26, 2026Mohamed Khalid M JaffarLyapunov FunctionLinear Quadratic Regulator

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

    Jun 24, 2026Alex Rose, Christopher Jewison, Jonathan P. HowSafe Motion PlanningBelief-Space Planning

  45. Conformal Recovery-Deadline Certificates for Runtime Assurance of Adapting Controllers

    Jun 24, 2026Alireza ShojaeiRobust ControlReachability

  46. FT-WBC: Learning Fault-Tolerant Whole-Body Control for Legged Loco-Manipulation

    Jun 23, 2026Yudong Zhong, Pengfei Mai, Sikai Guo +6Whole-Body ControllersHumanoid Loco-Manipulation

  47. Hessian-augmented Supervised Learning for Hamilton-Jacobi-Bellman PDEs

    Jun 22, 2026Matías Gómez-Aedo, Behzad Azmi, Yuyang Huang +2Optimal ControlHessian Matrix

  48. Active Sensing and Deferred-Decision Trajectory Optimization for Robust Target Identification

    Jun 21, 2026Farbod Siahkali, Mengxue Hou, Vijay GuptaGradient-Based Trajectory OptimizationMulti-Object Tracking

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

    Jun 19, 2026Lydia Bakiri, Jérémy Dubut, Sergio MoverAcyclic GraphsReachability

  50. Safe, Real-Time Active Model Discrimination and Fault Diagnosis for Nonlinear Systems via Differentiable Reachability

    Jun 17, 2026Xinpei Ni, Melkior Ornik, Glen Chou +1Fault DiagnosisReachability

  51. TNODEV: Toolbox for Neural ODE Verification

    Jun 15, 2026Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed GhazelNeural Network VerificationNeural Ordinary Differential Equations

  52. λ-Reachability: Geometric-Horizon Safety Bellman Equations for Humanoid Safety

    Jun 14, 2026Rui Chen, Shangtao Li, Yifan Sun +1ReachabilityLyapunov Function

  53. Hamilton-Jacobi Reachability-Based Safe Reinforcement Learning for Emergency Collision Avoidance

    Jun 13, 2026Yuhong Jiang, Shiyue Zhao, Junzhi Zhang +4Collision AvoidanceSafety Constraints

  54. Exact, Efficient, and Safe Occlusion-Aware Planning Using AH-Polyhedrons

    Jun 13, 2026Long Kiu Chung, David Isele, Toktam Mohammadnejad +4Autonomous ParkingRoadside

  55. Runtime Enforcement of Hybrid System Properties

    Jun 10, 2026Mir Md Sajid Sarwar, Srinivas Pinisetty, Rajarshi Ray +1Runtime EnforcementSafety Constraints

  56. RAM: Reachability Across Morphologies

    Jun 8, 2026Tim Walter, Xinyu Chen, Jonathan Külz +1ReachabilityMorphology

  57. Locality Does Not Imply Reachability: Boundary Repair in Block-Sparse Causal Attention

    Jun 1, 2026Zhibo YangBoundariesReachability

  58. CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving

    May 31, 2026Yifan WangDead ReckoningTrajectory-Level Credit Assignment

  59. Reachability and asymptotics of Gaussian Transformer dynamics

    May 29, 2026Albert Alcalde, Zhengping Ji, Enrique ZuazuaCovariance EstimationWasserstein Gradient Flows

  60. An Operator-Based Approach to STL

    May 27, 2026Panagiotis Rousseas, Dimos V. DimarogonasSignal Temporal LogicReachability