Unique Assembly Verification in Two-Handed Self-Assembly.

David Caballero Timothy Gomez Robert T. Schweller Tim Wylie

Published in: ICALP (2022)

Keyphrases

model checking
face verification
formal verification
data sets
person identification
verification method
information systems
case study
three dimensional
multi agent systems
relational databases
computer aided
formal analysis
signature verification
asynchronous circuits