2 papers
cs.LO2026
Computing Fixed Points using Dependency Oracles
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +1
We present global and local algorithms for solving systems of equations over Noetherian posets with a bottom element, a general setting underlying many verification problems. Our a…
quant-ph2024
Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams
Lukas Burgholzer, Antonio Jiménez-Pastor, Kim G. Larsen +3
Efficient methods for the simulation of quantum circuits on classic computers are crucial for their analysis due to the exponential growth of the problem size with the number of qu…