Verification of Quantum Systems Using Barrier Certificates.

Marco Lewis Paolo Zuliani Sadegh Soudjani

Published in: QEST (2023)

Keyphrases

neural network
asynchronous circuits
database
information systems
computer systems
building blocks
model checking
computing systems