Cover Image

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hafez, Ahmad, Akhormeh, Alireza Naderi, Hegazy, Amr, Alanwar, Amr
Format:	Preprint
Published:	2025
Subjects:	Robotics Machine Learning Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
by: Akhormeh, Alireza Naderi, et al.
Published: (2025)

Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
by: Akhormeh, Alireza Naderi, et al.
Published: (2026)

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
by: Hafez, Ahmad, et al.
Published: (2024)

Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
by: Xie, Peng, et al.
Published: (2026)

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
by: Zhang, Zhen, et al.
Published: (2026)

Conformalized Data-Driven Reachability Analysis with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)

Learning to Tune Pure Pursuit in Autonomous Racing: Joint Lookahead and Steering-Gain Control with PPO
by: Elgouhary, Mohamed, et al.
Published: (2026)

Guiding Giants: Lightweight Controllers for Weighted Activation Steering in LLMs
by: Hegazy, Amr, et al.
Published: (2025)

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
by: Xie, Peng, et al.
Published: (2025)

TAR: Teacher-Aligned Representations via Contrastive Learning for Quadrupedal Locomotion
by: Mousa, Amr, et al.
Published: (2025)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
by: Lin, Albert, et al.
Published: (2025)

Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees
by: Zhang, Zhen, et al.
Published: (2026)

Safe Guaranteed Exploration for Non-linear Systems
by: Prajapat, Manish, et al.
Published: (2024)

Bridging Data-Driven Reachability Analysis and Statistical Estimation via Constrained Matrix Convex Generators
by: Xie, Peng, et al.
Published: (2026)

Data-Driven Reachability Analysis Using Matrix Perturbation Theory
by: Xie, Peng, et al.
Published: (2026)

Data-Driven Reachability Analysis for Piecewise Affine Systems
by: Xie, Peng, et al.
Published: (2025)

Data-Driven Reachability Analysis with Optimal Input Design
by: Xie, Peng, et al.
Published: (2026)

Trojan Attacks on Neural Network Controllers for Robotic Systems
by: Younesi, Farbod, et al.
Published: (2026)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
by: Hadjiloizou, Loizos, et al.
Published: (2024)

CN-CBF: Composite Neural Control Barrier Function for Safe Robot Navigation in Dynamic Environments
by: Derajić, Bojan, et al.
Published: (2026)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
by: Bajcsy, Andrea, et al.
Published: (2019)

Convex Hulls of Reachable Sets
by: Lew, Thomas, et al.
Published: (2023)

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
by: Xie, Peng, et al.
Published: (2025)

ABNet: Attention BarrierNet for Safe and Scalable Robot Learning
by: Xiao, Wei, et al.
Published: (2024)

Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker
by: Xia, Xingpeng, et al.
Published: (2024)

Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems
by: Vincent, Joseph A., et al.
Published: (2022)

Deep Reinforcement Learning with Enhanced PPO for Safe Mobile Robot Navigation
by: Taheri, Hamid, et al.
Published: (2024)

Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey
by: Ganai, Milan, et al.
Published: (2024)

Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions
by: Xiao, Wei, et al.
Published: (2023)

Data-Driven Permissible Safe Control with Barrier Certificates
by: Mazouz, Rayan, et al.
Published: (2024)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
by: Omidi, Saber, et al.
Published: (2025)

Safe and Near-Optimal Control with Online Dynamics Learning
by: Prajapat, Manish, et al.
Published: (2025)

Safe Control using Learned Safety Filters and Adaptive Conformal Inference
by: Huriot, Sacha, et al.
Published: (2026)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
by: Shen, Keyi, et al.
Published: (2026)

Zero-Shot, Safe and Time-Efficient UAV Navigation via Potential-Based Reward Shaping, Control Lyapunov and Barrier Functions
by: Naeem, Ashik Abrar, et al.
Published: (2026)

Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation
by: Hu, Hanjiang, et al.
Published: (2024)

Risk-Aware Safe Reinforcement Learning for Control of Stochastic Linear Systems
by: Esmaeili, Babak, et al.
Published: (2025)