Cover Image

REDriver: Runtime Enforcement for Autonomous Vehicles

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sun, Yang, Poskitt, Christopher M., Zhang, Xiaodong, Sun, Jun
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation
by: Sun, Yang, et al.
Published: (2025)

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

Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements
by: Sun, Yang, et al.
Published: (2024)

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

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

$μ$Drive: User-Controlled Autonomous Driving
by: Wang, Kun, et al.
Published: (2024)

Bot-Driven Development: From Simple Automation to Autonomous Software Development Bots
by: Treude, Christoph, et al.
Published: (2024)

Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring
by: Tan, Ivan, et al.
Published: (2024)

Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning Approach
by: Tan, Ivan, et al.
Published: (2025)

Rethinking Artifact Evaluation for Software Engineering in the Age of Generative AI
by: Treude, Christoph, et al.
Published: (2026)

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

Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents
by: Bhardwaj, Varun Pratap
Published: (2026)

GoLeash: Mitigating Golang Software Supply Chain Attacks with Runtime Policy Enforcement
by: Cesarano, Carmine, et al.
Published: (2025)

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

Simulated Interactive Debugging
by: Noller, Yannic, et al.
Published: (2025)

Towards Effective Detection of Ponzi schemes on Ethereum with Contract Runtime Behavior Graph
by: Liang, Ruichao, et al.
Published: (2024)

Assessing the Capability of Android Dynamic Analysis Tools to Combat Anti-Runtime Analysis Techniques
by: Suo, Dewen, et al.
Published: (2025)

Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs
by: Cheng, Chih-Hong, et al.
Published: (2024)

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

A Multi-model Approach for Video Data Retrieval in Autonomous Vehicle Development
by: Knapp, Jesper, et al.
Published: (2024)

Logging Like Humans for LLMs: Rethinking Logging via Execution and Runtime Feedback
by: Wang, Xin, et al.
Published: (2026)

Txt2Sce: Scenario Generation for Autonomous Driving System Testing Based on Textual Reports
by: Ji, Pin, et al.
Published: (2025)

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

ROMAN: Reward-Orchestrated Multi-Head Attention Network for Autonomous Driving System Testing
by: Chi, Jianlei, et al.
Published: (2026)

Research on WebAssembly Runtimes: A Survey
by: Zhang, Yixuan, et al.
Published: (2024)

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

AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents
by: Wang, Haoyu, et al.
Published: (2025)

APISENSOR: Robust Discovery of Web API from Runtime Traffic Logs
by: Yang, Yanjing, et al.
Published: (2026)

A Test Suite for Efficient Robustness Evaluation of Face Recognition Systems
by: Zhang, Ruihan, et al.
Published: (2025)

ARAP: Demystifying Anti Runtime Analysis Code in Android Apps
by: Suo, Dewen, et al.
Published: (2024)

Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies
by: Shi, Jieke, et al.
Published: (2024)

DebugHarness: Emulating Human Dynamic Debugging for Autonomous Program Repair
by: Sun, Maolin, et al.
Published: (2026)

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)

RuntimeSlicer: Towards Generalizable Unified Runtime State Representation for Failure Management
by: Zhang, Lingzhe, et al.
Published: (2026)

Towards Agentic Runtime Healing
by: Sun, Zhensu, et al.
Published: (2024)

Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool
by: Kurniawan, Oka, et al.
Published: (2025)

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

The Runtime Dimension of Ethics in Self-Adaptive Systems
by: Autili, Marco, et al.
Published: (2026)

SoVAR: Building Generalizable Scenarios from Accident Reports for Autonomous Driving Testing
by: Guo, An, et al.
Published: (2024)

CaveAgent: Transforming LLMs into Stateful Runtime Operators
by: Ran, Maohao, et al.
Published: (2026)