Cover Image

Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aslam, Iqra, Aniculaesei, Adina, Buragohain, Abhishek, Bamal, Daniel, Rausch, Andreas
Format:	Preprint
Published:	2023
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System
by: Aslam, Iqra, et al.
Published: (2024)

REDriver: Runtime Enforcement for Autonomous Vehicles
by: Sun, Yang, et al.
Published: (2024)

A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0
by: Chen, Shufeng, et al.
Published: (2025)

Enhancing Uncertainty Quantification for Runtime Safety Assurance Using Causal Risk Analysis and Operational Design Domain
by: Bouchekir, Radouane, et al.
Published: (2025)

Reconciling Safety Measurement and Dynamic Assurance
by: Denney, Ewen, et al.
Published: (2024)

AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation
by: Skoglund, Martin, et al.
Published: (2025)

Runtime Enforcement for Operationalizing Ethics in Autonomous Systems
by: De Sanctis, Martina, et al.
Published: (2026)

A Taxonomy of Real-World Defeaters in Safety Assurance Cases
by: Gohar, Usman, et al.
Published: (2025)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
by: Wei, Ran, et al.
Published: (2024)

Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
by: Barhoumi, Oumaima, et al.
Published: (2026)

Reliability of Large Language Models for Design Synthesis: An Empirical Study of Variance, Prompt Sensitivity, and Method Scaffolding
by: Iftikhar, Rabia, et al.
Published: (2026)

Towards Benchmarking Design Pattern Detection Under Obfuscation: Reproducing and Evaluating Attention-Based Detection Method
by: Shenoy, Manthan, et al.
Published: (2025)

MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
by: Ayerdi, Jon, et al.
Published: (2023)

Towards a Robust Quality Assurance Framework for Cloud Computing Environments
by: Alharbi, Mohammed, et al.
Published: (2025)

Behavioral Safety Assessment towards Large-scale Deployment of Autonomous Vehicles
by: Liu, Henry X., et al.
Published: (2025)

The Role of Road Features and Vehicle Dynamics in Cost-Effective Autonomous Vehicles Safety Testing: Insights from Instance Space Analysis
by: Crespo-Rodriguez, Victor, et al.
Published: (2026)

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement
by: Kobayashi, Tsutomu, et al.
Published: (2024)

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
by: Chechik, Marsha, et al.
Published: (2025)

Key Safety Design Overview in AI-driven Autonomous Vehicles
by: Vyas, Vikas, et al.
Published: (2024)

Model Based System Assurance Using the Structured Assurance Case Metamodel
by: Wei, Ran, et al.
Published: (2019)

LLMs-Powered Real-Time Fault Injection: An Approach Toward Intelligent Fault Test Cases Generation
by: Abboush, Mohammad, et al.
Published: (2025)

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
by: Rafie, Bassel, et al.
Published: (2025)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
by: Adam, Mustafa, et al.
Published: (2025)

Measuring the Runtime Performance of C++ Code Written by Humans using GitHub Copilot
by: Erhabor, Daniel, et al.
Published: (2023)

Generating Software Architecture Description from Source Code using Reverse Engineering and Large Language Model
by: Hatahet, Ahmad, et al.
Published: (2025)

Describing Agentic AI Systems with C4: Lessons from Industry Projects
by: Rausch, Andreas, et al.
Published: (2026)

LLM-Based Design Pattern Detection
by: Schindler, Christian, et al.
Published: (2025)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
by: Mohamad, Mazen
Published: (2025)

A Generic Modelling Framework for Last-Mile Delivery Systems
by: Gürcan, Önder, et al.
Published: (2025)

ProbGuard: Probabilistic Runtime Monitoring for LLM Agent Safety
by: Wang, Haoyu, et al.
Published: (2025)

Confidence in Assurance 2.0 Cases
by: Bloomfield, Robin, et al.
Published: (2024)

Quality Assurance Practices in Agile Methodology
by: Wakili, Almustapha A., et al.
Published: (2024)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
by: Gleirscher, Mario, et al.
Published: (2020)

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
by: Herbold, Steffen, et al.
Published: (2025)

Preparing Students for AI-Driven Agile Development: A Project-Based AI Engineering Curriculum
by: Rausch, Andreas, et al.
Published: (2026)

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
by: He, Ruidi, et al.
Published: (2025)

Failure Analysis of Safety Controllers in Autonomous Vehicles Under Object-Based LiDAR Attacks
by: Ganiuly, Daniyal, et al.
Published: (2025)

Runtime-Augmented LLMs for Crash Detection and Diagnosis in ML Notebooks
by: Wang, Yiran, et al.
Published: (2026)

Continuous Observability Assurance in Cloud-Native Applications
by: Borges, Maria C., et al.
Published: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
by: Lubos, Sebastian, et al.
Published: (2024)