Login / Signup
Critically Assessing the State of the Art in CPU-based Local Robustness Verification.
Matthias König
Annelot Bosman
Holger H. Hoos
Jan N. van Rijn
Published in:
SafeAI@AAAI (2023)
Keyphrases
</>
model checking
computational efficiency
data sets
information systems
verification method
real time
databases
real world
information retrieval
case study
video sequences
data transfer
formal verification
high robustness