SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis
Fuente:
arXiv
Saved in:
| Main Authors: | Lin, Yuanfei, Illing, Sebastian, Althoff, Matthias |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models
by: Lin, Yuanfei, et al.
Published: (2024)
by: Lin, Yuanfei, et al.
Published: (2024)
Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
by: Lin, Yuanfei, et al.
Published: (2024)
by: Lin, Yuanfei, et al.
Published: (2024)
Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)
by: Lin, Yuanfei, et al.
Published: (2022)
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
by: Lin, Yuanfei, et al.
Published: (2023)
by: Lin, Yuanfei, et al.
Published: (2023)
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
by: Ladner, Tobias, et al.
Published: (2026)
by: Ladner, Tobias, et al.
Published: (2026)
Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
by: Mahesh, Karan, et al.
Published: (2024)
by: Mahesh, Karan, et al.
Published: (2024)
SafeDrive: Knowledge- and Data-Driven Risk-Sensitive Decision-Making for Autonomous Vehicles with Large Language Models
by: Zhou, Zhiyuan, et al.
Published: (2024)
by: Zhou, Zhiyuan, et al.
Published: (2024)
Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction
by: Thumm, Jakob, et al.
Published: (2024)
by: Thumm, Jakob, et al.
Published: (2024)
Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles
by: Kochdumper, Niklas, et al.
Published: (2024)
by: Kochdumper, Niklas, et al.
Published: (2024)
The Field of Safe Motion: Operationalizing Affordances in the Field of Safe Travel Using Reachability Analysis
by: Johnson, Leif, et al.
Published: (2026)
by: Johnson, Leif, et al.
Published: (2026)
Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
by: Tang, Chencheng, et al.
Published: (2024)
by: Tang, Chencheng, et al.
Published: (2024)
Holistic Optimization of Modular Robots
by: Mayer, Matthias, et al.
Published: (2025)
by: Mayer, Matthias, et al.
Published: (2025)
Smart placement, faster robots-a comparison of algorithms for robot base-pose optimization
by: Mayer, Matthias, et al.
Published: (2025)
by: Mayer, Matthias, et al.
Published: (2025)
Vision-Based Safe Human-Robot Collaboration with Uncertainty Guarantees
by: Thumm, Jakob, et al.
Published: (2026)
by: Thumm, Jakob, et al.
Published: (2026)
Safe and Nonconservative Contingency Planning for Autonomous Vehicles via Online Learning-Based Reachable Set Barriers
by: Yang, Rui, et al.
Published: (2025)
by: Yang, Rui, et al.
Published: (2025)
Leveraging Analytic Gradients in Provably Safe Reinforcement Learning
by: Walter, Tim, et al.
Published: (2025)
by: Walter, Tim, et al.
Published: (2025)
Safe Planning for Articulated Robots Using Reachability-based Obstacle Avoidance With Spheres
by: Michaux, Jonathan, et al.
Published: (2024)
by: Michaux, Jonathan, et al.
Published: (2024)
Large Language Model based Interactive Decision-Making for Autonomous Driving
by: Dong, Xinwei, et al.
Published: (2026)
by: Dong, Xinwei, et al.
Published: (2026)
Learning Based High-Level Decision Making for Abortable Overtaking in Autonomous Vehicles
by: Malayjerdi, Ehsan, et al.
Published: (2022)
by: Malayjerdi, Ehsan, et al.
Published: (2022)
Towards Interactive and Learnable Cooperative Driving Automation: a Large Language Model-Driven Decision-Making Framework
by: Fang, Shiyu, et al.
Published: (2024)
by: Fang, Shiyu, et al.
Published: (2024)
CoBRA: A Composable Benchmark for Robotics Applications
by: Mayer, Matthias, et al.
Published: (2022)
by: Mayer, Matthias, et al.
Published: (2022)
Distributional Reinforcement Learning based Integrated Decision Making and Control for Autonomous Surface Vehicles
by: Lin, Xi, et al.
Published: (2024)
by: Lin, Xi, et al.
Published: (2024)
A Decision-Making GPT Model Augmented with Entropy Regularization for Autonomous Vehicles
by: Liu, Jiaqi, et al.
Published: (2024)
by: Liu, Jiaqi, et al.
Published: (2024)
Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
by: Wendl, Manuel, et al.
Published: (2024)
by: Wendl, Manuel, et al.
Published: (2024)
Better Safe Than Sorry: Enhancing Arbitration Graphs for Safe and Robust Autonomous Decision-Making
by: Spieker, Piotr, et al.
Published: (2024)
by: Spieker, Piotr, et al.
Published: (2024)
Reachset-Conformant System Identification
by: Lützow, Laura, et al.
Published: (2024)
by: Lützow, Laura, et al.
Published: (2024)
Maneuver Decision-Making with Trajectory Streams Prediction for Autonomous Vehicles
by: Jamal, Mais, et al.
Published: (2024)
by: Jamal, Mais, et al.
Published: (2024)
Conformal Reachability for Safe Control in Unknown Environments
by: Ma, Xinhang, et al.
Published: (2026)
by: Ma, Xinhang, et al.
Published: (2026)
RAIL: Reachability-Aided Imitation Learning for Safe Policy Execution
by: Jung, Wonsuhk, et al.
Published: (2024)
by: Jung, Wonsuhk, et al.
Published: (2024)
Large Language Model guided Deep Reinforcement Learning for Decision Making in Autonomous Driving
by: Pang, Hao, et al.
Published: (2024)
by: Pang, Hao, et al.
Published: (2024)
Synergizing Decision Making and Trajectory Planning Using Two-Stage Optimization for Autonomous Vehicles
by: Liu, Wenru, et al.
Published: (2024)
by: Liu, Wenru, et al.
Published: (2024)
Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
by: Wang, Hao, et al.
Published: (2025)
by: Wang, Hao, et al.
Published: (2025)
Automatic Geometric Decomposition for Analytical Inverse Kinematics
by: Ostermeier, Daniel, et al.
Published: (2024)
by: Ostermeier, Daniel, et al.
Published: (2024)
Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration
by: Thumm, Jakob, et al.
Published: (2023)
by: Thumm, Jakob, et al.
Published: (2023)
Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
by: Hafez, Ahmad, et al.
Published: (2025)
by: Hafez, Ahmad, et al.
Published: (2025)
Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
by: Tonkens, Sander, et al.
Published: (2023)
by: Tonkens, Sander, et al.
Published: (2023)
Large Language Model-based Decision-making for COLREGs and the Control of Autonomous Surface Vehicles
by: Agyei, Klinsmann, et al.
Published: (2024)
by: Agyei, Klinsmann, et al.
Published: (2024)
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)
Training Adversarial yet Safe Agent to Characterize Safety Performance of Highly Automated Vehicles
by: Zhu, Minghao, et al.
Published: (2024)
by: Zhu, Minghao, et al.
Published: (2024)
An Extended Horizon Tactical Decision-Making for Automated Driving Based on Monte Carlo Tree Search
by: Essalmi, Karim, et al.
Published: (2025)
by: Essalmi, Karim, et al.
Published: (2025)
Similar Items
-
DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models
by: Lin, Yuanfei, et al.
Published: (2024) -
Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
by: Lin, Yuanfei, et al.
Published: (2024) -
Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022) -
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
by: Lin, Yuanfei, et al.
Published: (2023) -
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
by: Ladner, Tobias, et al.
Published: (2026)