:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kobayashi, Tsutomu, Bondu, Martin, Ishikawa, Fuyuki
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2401.04875
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Safety Case Patterns for VLA-based driving systems: Insights from SimLingo
by: Yu, Gerhard, et al.
Published: (2026)

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

An Experience Report on Regression-Free Repair of Deep Neural Network Model
by: Nakagawa, Takao, et al.
Published: (2025)

FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks
by: Openja, Moses, et al.
Published: (2025)

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
by: Wang, Hongshu, et al.
Published: (2026)

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

Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments
by: Aslam, Iqra, et al.
Published: (2023)

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

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)

Structural Abstraction and Selective Refinement for Formal Verification
by: Luckeneder, Christoph, et al.
Published: (2025)

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

Learning Responsibility-Attributed Adversarial Scenarios for Testing Autonomous Vehicles
by: Xiao, Yizhuo, et al.
Published: (2026)

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

Utilizing API Response for Test Refinement
by: Sondhi, Devika, et al.
Published: (2025)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
by: Lanzinger, Florian, et al.
Published: (2024)

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

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
by: Benjumea, Diana C., et al.
Published: (2025)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
by: Ma, Lezhi, et al.
Published: (2026)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
by: Krook, Jonas, et al.
Published: (2022)

Enhancing Automated Program Repair via Faulty Token Localization and Quality-Aware Patch Refinement
by: Kong, Jiaolong, et al.
Published: (2025)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
by: Zhao, Jianhong, et al.
Published: (2024)

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
by: Ganesha, et al.
Published: (2025)

Causality-aware Safety Testing for Autonomous Driving Systems
by: Tang, Wenbing, et al.
Published: (2025)

Towards Safety-Compliant Transformer Architectures for Automotive Systems
by: Kirchner, Sven, et al.
Published: (2026)

Large Language Models in Code Co-generation for Safe Autonomous Vehicles
by: Nouri, Ali, et al.
Published: (2025)

PAFOT: A Position-Based Approach for Finding Optimal Tests of Autonomous Vehicles
by: Crespo-Rodriguez, Victor, et al.
Published: (2024)

ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
by: Sun, Huijia, et al.
Published: (2024)

Integration of an Agent Model into an Open Simulation Architecture for Scenario-Based Testing of Automated Vehicles
by: Geller, Christian, et al.
Published: (2026)

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

RoadGen: Generating Road Scenarios for Autonomous Vehicle Testing
by: Yang, Fan, et al.
Published: (2024)

AI-Augmented Metamorphic Testing for Comprehensive Validation of Autonomous Vehicles
by: Zhang, Tony, et al.
Published: (2025)

TARGET: Automated Scenario Generation from Traffic Rules for Testing Autonomous Vehicles via Validated LLM-Guided Knowledge Extraction
by: Deng, Yao, et al.
Published: (2023)

Scalable Supervisory Architecture for Autonomous Race Cars
by: Demeter, Zalán, et al.
Published: (2024)

Formalized Identification Of Key Factors In Safety-Relevant Failure Scenarios
by: Julitz, Tim Maurice, et al.
Published: (2024)

Software Testing in the Quantum World
by: Abreu, Rui, et al.
Published: (2026)

A Taxonomy of System-Level Attacks on Deep Learning Models in Autonomous Vehicles
by: Tehrani, Masoud Jamshidiyan, et al.
Published: (2024)

Formal Architecture Descriptors as Navigation Primitives for AI Coding Agents
by: Jin, Ruoqi
Published: (2026)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
by: Ma, Lezhi, et al.
Published: (2024)

An Empirical Study on Challenges of Event Management in Microservice Architectures
by: Laigner, Rodrigo, et al.
Published: (2024)

Formalizing Operational Design Domains with the Pkl Language
by: Skoglund, Martin, et al.
Published: (2025)