tree automata

We introduce a new paradigm for analysing and finding bugs in quantum circuits. In our approach, the problem is given by a ‍triple P C Q and the question is whether, given a set P of quantum states on the input of a circuit C, the set of quantum …