vix.ing · top · new · best · stats · spec

Parosh Aziz Abdulla

  1. Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
    2024/10/24 by Parosh Aziz Abdulla, Abdulla, Parosh Aziz, Yo-Ga Chen +15 · 1 voice · 5 citations
    Computer Science · #cs.LO #cs.FL