Verification of Multi-Layered Assignment Problems.

Barak Steindl Meirav Zehavi

Published in: CoRR (2021)

Keyphrases

multi layered
neural learning
model checking
formal verification
face verification
test generation
concurrent systems
real time
neural network
decision trees
feature extraction
special case
human computer interaction
formal analysis
signature verification
person identification