Quantum Money with Classical Verification

Dmitry Gavinsky

Published in: CoRR (2011)

Keyphrases

quantum computation
quantum mechanics
model checking
formal verification
artificial intelligence
concurrent systems
data sets
real world
data mining
support vector
temporal logic
verification method