conftrace_

autonomous vehicle safety

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

reachable set analysis (1) control system verification (1) safety-critical scenario (1) probabilistic detector (1) neural network control system (1) neural network control (1) large language model (1) runtime monitoring (1) scenario generation (1) reachable set (1)

Papers

Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling AAAI 2025 ChatScene: Knowledge-Enabled Safety-Critical Scenario Generation for Autonomous Vehicles CVPR 2024 Task-Relevant Failure Detection for Trajectory Predictors in Autonomous Vehicles CoRL 2022