MASSIV: A Hybrid RAG for Automated Defeater Extraction in Autonomous Driving Safety Cases
Safety cases for Automated Driving Systems (ADS) rely on structured arguments supported by evidence, yet they are vulnerable to hidden assumptions and unknown counter-evidence (“defeaters”). The manual review of growing volumes of natural-language incident reports exceeds human capacity. Here, we present the core tool...