Cite
Notes
Only stored in your browser.
Attribution
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks
arXiv 2023
from 1 papers
Stefan Leue
Tobias Sutter