Buchumschlag

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sharifi, Iman, Yildirim, Mustafa, Fallah, Saber
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Robotics Artificial Intelligence Machine Learning Logic in Computer Science Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Symbolic Imitation Learning: From Black-Box to Explainable Driving Policies
von: Sharifi, Iman, et al.
Veröffentlicht: (2023)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
von: Sharifi, Iman, et al.
Veröffentlicht: (2026)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
von: Chang, Kevin Kai-Chun, et al.
Veröffentlicht: (2026)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
von: Ho, Qi Heng, et al.
Veröffentlicht: (2024)

Self-Tuning PID Control via a Hybrid Actor-Critic-Based Neural Structure for Quadcopter Control
von: Sharifi, Iman, et al.
Veröffentlicht: (2023)

Safe and Reliable Training of Learning-Based Aerospace Controllers
von: Mandal, Udayan, et al.
Veröffentlicht: (2024)

HighwayLLM: Decision-Making and Navigation in Highway Driving with RL-Informed Language Model
von: Yildirim, Mustafa, et al.
Veröffentlicht: (2024)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2022)

Disentangling Uncertainty for Safe Social Navigation using Deep Reinforcement Learning
von: Flögel, Daniel, et al.
Veröffentlicht: (2024)

Bootstrapping Reinforcement Learning with Sub-optimal Policies for Autonomous Driving
von: Zhang, Zhihao, et al.
Veröffentlicht: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

Efficient Dynamic Shielding for Parametric Safety Specifications
von: Corsi, Davide, et al.
Veröffentlicht: (2025)

Behavioral Cloning Models Reality Check for Autonomous Driving
von: Yildirim, Mustafa, et al.
Veröffentlicht: (2024)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
von: Cornelio, Cristina, et al.
Veröffentlicht: (2024)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
von: Ramirez, Miquel, et al.
Veröffentlicht: (2024)

Reinforcement Learning Enhancement Using Vector Semantic Representation and Symbolic Reasoning for Human-Centered Autonomous Emergency Braking
von: Asodia, Vinal, et al.
Veröffentlicht: (2026)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
von: Zhang, Maifang, et al.
Veröffentlicht: (2026)

DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving
von: Yang, Rui, et al.
Veröffentlicht: (2026)

Control-Optimized Deep Reinforcement Learning for Artificially Intelligent Autonomous Systems
von: Fivel, Oren, et al.
Veröffentlicht: (2025)

Human-Like Autonomous Driving on Dense Traffic
von: Yildirim, Mustafa, et al.
Veröffentlicht: (2023)

SafeAuto: Knowledge-Enhanced Safe Autonomous Driving with Multimodal Foundation Models
von: Zhang, Jiawei, et al.
Veröffentlicht: (2025)

Hyperproperty-Constrained Secure Reinforcement Learning
von: Bonnah, Ernest, et al.
Veröffentlicht: (2025)

Autonomous Driving With Perception Uncertainties: Deep-Ensemble Based Adaptive Cruise Control
von: Li, Xiao, et al.
Veröffentlicht: (2024)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
von: So, Oswin, et al.
Veröffentlicht: (2026)

Learning Algorithms for Verification of Markov Decision Processes
von: Brázdil, Tomáš, et al.
Veröffentlicht: (2024)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
von: Teuber, Samuel, et al.
Veröffentlicht: (2024)

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
von: Vázquez, Gricel, et al.
Veröffentlicht: (2026)

A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
von: Tayal, Manan, et al.
Veröffentlicht: (2025)

Towards a Practical Understanding of Lagrangian Methods in Safe Reinforcement Learning
von: Spoor, Lindsay, et al.
Veröffentlicht: (2025)

Beyond Conservative Automated Driving in Multi-Agent Scenarios via Coupled Model Predictive Control and Deep Reinforcement Learning
von: Rahmani, Saeed, et al.
Veröffentlicht: (2026)

Verification of Autonomous Neural Car Control with KeYmaera X
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2025)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
von: Azeem, Muqsit, et al.
Veröffentlicht: (2024)

ManeuverGPT Agentic Control for Safe Autonomous Stunt Maneuvers
von: Azdam, Shawn, et al.
Veröffentlicht: (2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
von: Zhao, Yiqi, et al.
Veröffentlicht: (2023)

SARAD: LLM-Based Safety-Aware Hybrid Reinforcement Learning with Collision Prediction for Autonomous Driving
von: Wu, Kangyu, et al.
Veröffentlicht: (2026)

A Safe Reinforcement Learning driven Weights-varying Model Predictive Control for Autonomous Vehicle Motion Control
von: Zarrouki, Baha, et al.
Veröffentlicht: (2024)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
von: Sidrane, Chelsea, et al.
Veröffentlicht: (2024)