1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.SE2026★ 1 cited
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…
cs.SE2025
Revolutionizing Validation and Verification: Explainable Testing Methodologies for Intelligent Automotive Decision-Making Systems
Halit Eris, Stefan Wagner
Autonomous Driving Systems (ADS) use complex decision-making (DM) models with multimodal sensory inputs, making rigorous validation and verification (V&V) essential for safety and…