Conformal Reachability for Safe Control in Unknown Environments
Fuente:
arXiv
Saved in:
| Main Authors: | Ma, Xinhang, Wu, Junlin, Kantaros, Yiannis, Vorobeychik, Yevgeniy |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees
by: Ma, Xinhang, et al.
Published: (2025)
by: Ma, Xinhang, et al.
Published: (2025)
CoFineLLM: Conformal Finetuning of LLMs for Language-Instructed Robot Planning
by: Wang, Jun, et al.
Published: (2025)
by: Wang, Jun, et al.
Published: (2025)
Conformal Temporal Logic Planning using Large Language Models
by: Wang, Jun, et al.
Published: (2023)
by: Wang, Jun, et al.
Published: (2023)
Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction
by: Wang, Jun, et al.
Published: (2024)
by: Wang, Jun, et al.
Published: (2024)
Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
by: Kantaros, Yiannis, et al.
Published: (2024)
by: Kantaros, Yiannis, et al.
Published: (2024)
Safe Planning in Unknown Environments Using Conformalized Semantic Maps
by: Sundarsingh, David Smith, et al.
Published: (2025)
by: Sundarsingh, David Smith, et al.
Published: (2025)
Verified Safe Reinforcement Learning for Neural Network Dynamic Models
by: Wu, Junlin, et al.
Published: (2024)
by: Wu, Junlin, et al.
Published: (2024)
ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
by: Sundarsingh, David Smith, et al.
Published: (2025)
by: Sundarsingh, David Smith, et al.
Published: (2025)
An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
by: Bajcsy, Andrea, et al.
Published: (2019)
by: Bajcsy, Andrea, et al.
Published: (2019)
Protecting Language Models Against Unauthorized Distillation through Trace Rewriting
by: Ma, Xinhang, et al.
Published: (2026)
by: Ma, Xinhang, et al.
Published: (2026)
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
by: Wang, Jun, et al.
Published: (2023)
by: Wang, Jun, et al.
Published: (2023)
Making Infeasible Tasks Feasible: Planning to Reconfigure Disconnected 3D Environments with Movable Objects
by: Kalluraya, Samarth, et al.
Published: (2026)
by: Kalluraya, Samarth, et al.
Published: (2026)
Uncertainty-bounded Active Monitoring of Unknown Dynamic Targets in Road-networks with Minimum Fleet
by: Wang, Shuaikang, et al.
Published: (2023)
by: Wang, Shuaikang, et al.
Published: (2023)
Embodied Instruction Following in Unknown Environments
by: Wu, Zhenyu, et al.
Published: (2024)
by: Wu, Zhenyu, et al.
Published: (2024)
Conformalized Non-uniform Sampling Strategies for Accelerated Sampling-based Motion Planning
by: Natraj, Shubham, et al.
Published: (2025)
by: Natraj, Shubham, et al.
Published: (2025)
NAMO-LLM: Efficient Navigation Among Movable Obstacles with Large Language Model Guidance
by: Zhang, Yuqing, et al.
Published: (2025)
by: Zhang, Yuqing, et al.
Published: (2025)
Safe Probabilistic Planning for Human-Robot Interaction using Conformal Risk Control
by: Gonzales, Jake, et al.
Published: (2026)
by: Gonzales, Jake, et al.
Published: (2026)
Online Feedback Efficient Active Target Discovery in Partially Observable Environments
by: Sarkar, Anindya, et al.
Published: (2025)
by: Sarkar, Anindya, et al.
Published: (2025)
DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving
by: Yang, Rui, et al.
Published: (2026)
by: Yang, Rui, et al.
Published: (2026)
Online Efficient Safety-Critical Control for Mobile Robots in Unknown Dynamic Multi-Obstacle Environments
by: Zhang, Yu, et al.
Published: (2024)
by: Zhang, Yu, et al.
Published: (2024)
Air-Ground Collaboration for Language-Specified Missions in Unknown Environments
by: Cladera, Fernando, et al.
Published: (2025)
by: Cladera, Fernando, et al.
Published: (2025)
Beyond Hard Constraints: Budget-Conditioned Reachability For Safe Offline Reinforcement Learning
by: Brahmanage, Janaka Chathuranga, et al.
Published: (2026)
by: Brahmanage, Janaka Chathuranga, et al.
Published: (2026)
Collision- and Reachability-Aware Multi-Robot Control with Grounded LLM Planners
by: Ji, Jiabao, et al.
Published: (2025)
by: Ji, Jiabao, et al.
Published: (2025)
Learning to Initialize Trajectory Optimization for Vision-Based Autonomous Flight in Unknown Environments
by: Chen, Yicheng, et al.
Published: (2023)
by: Chen, Yicheng, et al.
Published: (2023)
HyPerNav: Hybrid Perception for Object-Oriented Navigation in Unknown Environment
by: Yin, Zecheng, et al.
Published: (2025)
by: Yin, Zecheng, et al.
Published: (2025)
SafeNav: Safe Path Navigation using Landmark Based Localization in a GPS-denied Environment
by: Sapkota, Ganesh, et al.
Published: (2025)
by: Sapkota, Ganesh, et al.
Published: (2025)
RLHFPoison: Reward Poisoning Attack for Reinforcement Learning with Human Feedback in Large Language Models
by: Wang, Jiongxiao, et al.
Published: (2023)
by: Wang, Jiongxiao, et al.
Published: (2023)
Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
by: Lin, Albert, et al.
Published: (2023)
by: Lin, Albert, et al.
Published: (2023)
Mind the (DH) Gap! A Contrast in Risky Choices Between Reasoning and Conversational LLMs
by: Ge, Luise, et al.
Published: (2026)
by: Ge, Luise, et al.
Published: (2026)
Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures
by: Kalluraya, Samarth, et al.
Published: (2024)
by: Kalluraya, Samarth, et al.
Published: (2024)
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems
by: Dong, Yi, et al.
Published: (2022)
by: Dong, Yi, et al.
Published: (2022)
Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions
by: Kim, Matthew, et al.
Published: (2025)
by: Kim, Matthew, et al.
Published: (2025)
Safe Adaptive Cruise Control Under Perception Uncertainty: A Deep Ensemble and Conformal Tube Model Predictive Control Approach
by: Li, Xiao, et al.
Published: (2024)
by: Li, Xiao, et al.
Published: (2024)
PI-WAN: A Physics-Informed Wind-Adaptive Network for Quadrotor Dynamics Prediction in Unknown Environments
by: Wang, Mengyun, et al.
Published: (2025)
by: Wang, Mengyun, et al.
Published: (2025)
Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)
by: Nath, Devesh, et al.
Published: (2026)
SafeMind: A Risk-Aware Differentiable Control Framework for Adaptive and Safe Quadruped Locomotion
by: Zhang, Zukun, et al.
Published: (2026)
by: Zhang, Zukun, et al.
Published: (2026)
SafeFlowMatcher: Safe and Fast Planning using Flow Matching with Control Barrier Functions
by: Yang, Jeongyong, et al.
Published: (2025)
by: Yang, Jeongyong, et al.
Published: (2025)
Self-Supervised Learning-Based Path Planning and Obstacle Avoidance Using PPO and B-Splines in Unknown Environments
by: Shokouhi, Shahab, et al.
Published: (2024)
by: Shokouhi, Shahab, et al.
Published: (2024)
Preference Poisoning Attacks on Reward Model Learning
by: Wu, Junlin, et al.
Published: (2024)
by: Wu, Junlin, et al.
Published: (2024)
SafeBimanual: Diffusion-based Trajectory Optimization for Safe Bimanual Manipulation
by: Deng, Haoyuan, et al.
Published: (2025)
by: Deng, Haoyuan, et al.
Published: (2025)
Similar Items
-
Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees
by: Ma, Xinhang, et al.
Published: (2025) -
CoFineLLM: Conformal Finetuning of LLMs for Language-Instructed Robot Planning
by: Wang, Jun, et al.
Published: (2025) -
Conformal Temporal Logic Planning using Large Language Models
by: Wang, Jun, et al.
Published: (2023) -
Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction
by: Wang, Jun, et al.
Published: (2024) -
Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
by: Kantaros, Yiannis, et al.
Published: (2024)