Manuscript

Equivalence Checking of Parameterised Quantum Circuits
Characterization of loss mechanisms in a fluxonium qubit