Complexity of verification in self-assembly with prebuilt assemblies.

David Caballero Timothy Gomez Robert T. Schweller Tim Wylie

Published in: J. Comput. Syst. Sci. (2023)

Keyphrases

worst case
computational complexity
model checking
database
formal verification
computer vision
multi agent
space complexity
high computational complexity
complexity measures