General Anticipatory Runtime Verification.

Raik Hipler Hannes Kallwies Martin Leucker César Sánchez

Published in: CAV (2) (2024)

Keyphrases

special case
wide range
databases
closely related
face verification
verification method
database
neural network
computer vision
image processing
optimal solution
digital images
signature verification