Cover Image

Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chung, Long Kiu, Jung, Wonsuhk, Pullabhotla, Srivatsank, Shinde, Parth, Sunil, Yadu, Kota, Saihari, Batista, Luis Felipe Wolf, Pradalier, Cédric, Kousik, Shreyas
Format:	Preprint
Published:	2024
Subjects:	Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Goal-Reaching Trajectory Design Near Danger with Piecewise Affine Reach-avoid Computation
by: Chung, Long Kiu, et al.
Published: (2024)

Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis
by: Chung, Long Kiu, et al.
Published: (2025)

RAIL: Reachability-Aided Imitation Learning for Safe Policy Execution
by: Jung, Wonsuhk, et al.
Published: (2024)

A Closed-Form Geometric Retargeting Solver for Upper Body Humanoid Robot Teleoperation
by: Kong, Chuizheng, et al.
Published: (2026)

RTD-RAX: Fast, Safe Trajectory Planning for Systems under Unknown Disturbances
by: Morales-Cuadrado, Evanns, et al.
Published: (2026)

Joint Model-based Model-free Diffusion for Planning with Constraints
by: Jung, Wonsuhk, et al.
Published: (2025)

Solving Reach- and Stabilize-Avoid Problems Using Discounted Reachability
by: Li, Boyang, et al.
Published: (2025)

Selecting Spots by Explicitly Predicting Intention from Motion History Improves Performance in Autonomous Parking
by: Chung, Long Kiu, et al.
Published: (2026)

Validation methodology on real data of reversible Kalman Filter for state estimation with Manifold
by: Covanov, Svyatoslav, et al.
Published: (2025)

Reversible Kalman Filter for state estimation with Manifold
by: Covanov, Svyatoslav, et al.
Published: (2025)

Reach-Avoid Differential game with Reachability Analysis for UAVs: A decomposition approach
by: Bui, Minh, et al.
Published: (2025)

Sim-to-Real Transfer and Robustness Evaluation of Reinforcement Learning Control with Integrated Perception on an ASV for Floating Waste Capture
by: Batista, Luis F. W., et al.
Published: (2026)

Evaluation of Polarimetric Fusion for Semantic Segmentation in Aquatic Environments
by: Batista, Luis F. W., et al.
Published: (2025)

PoTATO: A Dataset for Analyzing Polarimetric Traces of Afloat Trash Objects
by: Batista, Luis Felipe Wolf, et al.
Published: (2024)

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
by: Chen, Yu, et al.
Published: (2025)

A Deep Reinforcement Learning Framework and Methodology for Reducing the Sim-to-Real Gap in ASV Navigation
by: Batista, Luis F W, et al.
Published: (2024)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
by: Serry, Mohamed, et al.
Published: (2024)

Evaluating Robustness of Deep Reinforcement Learning for Autonomous Surface Vehicle Control in Field Tests
by: Batista, Luis F. W., et al.
Published: (2025)

PolygoNet: Leveraging Simplified Polygonal Representation for Effective Image Classification
by: Khazem, Salim, et al.
Published: (2025)

Towards Efficient Occupancy Mapping via Gaussian Process Latent Field Shaping
by: Gentil, Cedric Le, et al.
Published: (2025)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
by: Xue, Bai, et al.
Published: (2025)

A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees
by: Gleirscher, Mario, et al.
Published: (2025)

Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping
by: Ding, Jianqiang, et al.
Published: (2026)

Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters
by: Begzadić, Azra, et al.
Published: (2025)

Solvability of Approximate Reach-Avoid Games
by: Gleirscher, Mario
Published: (2025)

Reachability Guarantees for Energy Arbitrage
by: Tapia, Tomás, et al.
Published: (2026)

Assessing the radiation hazard due to cosmic radiation on flights near the poles
by: Yadu Krishnan
Published: (2025)

SAIL: Faster-than-Demonstration Execution of Imitation Learning Policies
by: Arachchige, Nadun Ranawaka, et al.
Published: (2025)

Reachability of gradient descent
by: Josz, Cédric, et al.
Published: (2025)

Real-time Model Predictive Control with Zonotope-Based Neural Networks for Bipedal Social Navigation
by: Shamsah, Abdulaziz, et al.
Published: (2024)

JuliaReach: a Toolbox for Set-Based Reachability
by: Bogomolov, Sergiy, et al.
Published: (2019)

Box-Reachability in Vector Addition Systems
by: Almagor, Shaull, et al.
Published: (2025)

Reach-Avoid-Stabilize Using Admissible Control Sets
by: Gong, Zheng, et al.
Published: (2025)

Stochastic Minimum-Cost Reach-Avoid Reinforcement Learning
by: Pan, Jingduo, et al.
Published: (2026)

Funnel-based Control for Reach-Avoid-Stay Specifications
by: Das, Ratnangshu, et al.
Published: (2023)

Steering with Contingencies: Combinatorial Stabilization and Reach-Avoid Filters
by: Lishkova, Yana, et al.
Published: (2026)

Hyperspectral Neural Radiance Fields
by: Chen, Gerry, et al.
Published: (2024)

FIKA: Expanding Dependency Reachability with Executability Guarantees
by: Gamage, Yogya, et al.
Published: (2026)

RAnGE: Reachability Analysis for Guaranteed Ergodicity
by: Berger, Henry, et al.
Published: (2024)

Reinforcement Learning for Reachability: Guaranteeing Asymptotic Optimality
by: Palasamudram, Amogh, et al.
Published: (2026)