Necessity Specifications for Robustness.

Julian Mackay Sophia Drossopoulou James Noble Susan Eisenbach

Published in: CoRR (2022)

Keyphrases

high robustness
data sets
high level
specification language
formal specification
databases
machine learning
image segmentation
digital libraries