Sign in

Complexity of verification in self-assembly with prebuilt assemblies.

David CaballeroTimothy GomezRobert T. SchwellerTim 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