Login / Signup

两类量子游走组成的非确定型量子程序的终止验证 (Verification of Termination for Nondeterministic Quantum Programs Constituted by Two Kinds of Quantum Walks).

Hongxuan Lei
Published in: 计算机科学 (2015)
Keyphrases
  • quantum computation
  • quantum computing
  • quantum inspired
  • data sets
  • real time
  • machine learning
  • reinforcement learning
  • model checking
  • temporal logic