137 citations · 241 across the 15 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025★ 2 cited
Towards Automated Safety Requirements Derivation Using Agent-based RAG
Balahari Vignesh Balu, Florian Geissler, Francesco Carella +4
We study the automated derivation of safety requirements in a self-driving vehicle use case, leveraging LLMs in combination with agent-based retrieval-augmented generation. Convent…
cs.AI2023
Large-Scale Application of Fault Injection into PyTorch Models -- an Extension to PyTorchFI for Validation Efficiency
Ralf Graafe, Qutub Syed Sha, Florian Geissler +1
Transient or permanent faults in hardware can render the output of Neural Networks (NN) incorrect without user-specific traces of the error, i.e. silent data errors (SDE). On the o…