Buchumschlag

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Parameshwaran, Aditya, Wang, Yue
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Temporal Logic Guided Safe Navigation for Autonomous Vehicles
von: Parameshwaran, Aditya, et al.
Veröffentlicht: (2025)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
von: Parameshwaran, Aditya, et al.
Veröffentlicht: (2025)

Safety Verification for Evasive Collision Avoidance in Autonomous Vehicles with Enhanced Resolutions
von: Arab, Aliasghar, et al.
Veröffentlicht: (2024)

Parallel Optimization with Hard Safety Constraints for Cooperative Planning of Connected Autonomous Vehicles
von: Huang, Zhenmin, et al.
Veröffentlicht: (2023)

Behavior Trees in Functional Safety Supervisors for Autonomous Vehicles
von: Conejo, Carlos, et al.
Veröffentlicht: (2024)

Autonomous Navigation at the Nano-Scale: Algorithms, Architectures, and Constraints
von: Zango, Mahmud S., et al.
Veröffentlicht: (2026)

LLM-Enabled Low-Altitude UAV Natural Language Navigation via Signal Temporal Logic Specification Translation and Repair
von: Ping, Yuqi, et al.
Veröffentlicht: (2026)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2024)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
von: Chen, Yu, et al.
Veröffentlicht: (2026)

Reactive Robot-Centric Safety for Autonomous Navigation in Constrained and Dynamic Environments
von: Sankaranarayanan, Viswa Narayanan, et al.
Veröffentlicht: (2026)

Agile Decision-Making and Safety-Critical Motion Planning for Emergency Autonomous Vehicles
von: Shu, Yiming, et al.
Veröffentlicht: (2024)

Navigating Autonomous Vehicle on Unmarked Roads with Diffusion-Based Motion Prediction and Active Inference
von: Huang, Yufei, et al.
Veröffentlicht: (2024)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
von: Yang, Shuo, et al.
Veröffentlicht: (2024)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
von: Rousseas, Panagiotis, et al.
Veröffentlicht: (2026)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
von: Ma, Liqian, et al.
Veröffentlicht: (2026)

A Data-Informed Analysis of Scalable Supervision for Safety in Autonomous Vehicle Fleets
von: Hickert, Cameron, et al.
Veröffentlicht: (2024)

Vehicle-in-Virtual-Environment (VVE) Method for Developing and Evaluating VRU Safety of Connected and Autonomous Driving with Focus on Bicyclist Safety
von: Chen, Haochong, et al.
Veröffentlicht: (2025)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
von: Ye, Bowen, et al.
Veröffentlicht: (2025)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
von: Halder, Patrick, et al.
Veröffentlicht: (2025)

Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
von: Rober, Nicholas, et al.
Veröffentlicht: (2024)

Trajectory Optimization for UAV-Based Medical Delivery with Temporal Logic Constraints and Convex Feasible Set Collision Avoidance
von: Chen, Kaiyuan, et al.
Veröffentlicht: (2025)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
von: Gautam, Saksham, et al.
Veröffentlicht: (2024)

Energy-Aware Predictive Motion Planning for Autonomous Vehicles Using a Hybrid Zonotope Constraint Representation
von: Robbins, Joshua A., et al.
Veröffentlicht: (2024)

Real-time Terrain Analysis for Off-road Autonomous Vehicles
von: Lewis, Edwina, et al.
Veröffentlicht: (2025)

Diagnosing and Predicting Autonomous Vehicle Operational Safety Using Multiple Simulation Modalities and a Virtual Environment
von: Beck, Joe, et al.
Veröffentlicht: (2024)

Tactile-based Exploration, Mapping and Navigation with Collision-Resilient Aerial Vehicles
von: Patnaik, Karishma, et al.
Veröffentlicht: (2023)

Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles
von: Ramdhan, Stefan, et al.
Veröffentlicht: (2024)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
von: Ren, Wei, et al.
Veröffentlicht: (2024)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
von: Nawaz, Farhad, et al.
Veröffentlicht: (2024)

Hybrid Navigation Acceptability and Safety
von: Clement, Benoit, et al.
Veröffentlicht: (2024)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
von: Liu, Ruijia, et al.
Veröffentlicht: (2026)

Real-time Uncertainty-Aware Motion Planning for Magnetic-based Navigation
von: Penumarti, Aditya, et al.
Veröffentlicht: (2024)

Vehicle-in-Virtual-Environment (VVE) Based Autonomous Driving Function Development and Evaluation Methodology for Vulnerable Road User Safety
von: Chen, Haochong, et al.
Veröffentlicht: (2025)

Global Uncertainty-Aware Planning for Magnetic Anomaly-Based Navigation
von: Penumarti, Aditya, et al.
Veröffentlicht: (2024)

Autonomous Mapless Navigation on Uneven Terrains
von: Jardali, Hassan, et al.
Veröffentlicht: (2024)

A Twin Delayed Deep Deterministic Policy Gradient Algorithm for Autonomous Ground Vehicle Navigation via Digital Twin Perception Awareness
von: Olayemi, Kabirat, et al.
Veröffentlicht: (2024)

High-Speed Cornering Control and Real-Vehicle Deployment for Autonomous Electric Vehicles
von: Zhao, Shiyue, et al.
Veröffentlicht: (2024)

Large Language Model-based Decision-making for COLREGs and the Control of Autonomous Surface Vehicles
von: Agyei, Klinsmann, et al.
Veröffentlicht: (2024)

From Vision to Decision: Neuromorphic Control for Autonomous Navigation and Tracking
von: Wang, Chuwei, et al.
Veröffentlicht: (2026)

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