Verification in Staged Tile Self-Assembly.

Robert T. Schweller Andrew Winslow Tim Wylie

Published in: UCNC (2017)

Keyphrases

model checking
formal verification
verification method
face verification
temporal logic
databases
machine learning
information systems
multimedia
database systems
feature extraction
cryptographic protocols
fingerprint verification