Towards Verification of Dynamic Quantum Circuits.

Lukas Burgholzer Robert Wille

Published in: CoRR (2021)

Keyphrases

quantum computing
logic circuits
case study
high speed
asynchronous circuits
model checking
real time
machine learning
artificial intelligence
multi agent
expert systems
dynamic environments
infrared
formal methods
logic synthesis
quantum inspired