Automating Quality Assessment with NLP of LLM-Generated Defeaters

Tihomir Rohlinger, Daniel Ratiu, Stefan Wagner

High-integrity systems, such as autonomous vehicle fleets and large-scale energy infrastructures, rely on structured assurance cases to justify safety claims. To remain valid under…