Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits? - Liam Hurwitz; Kamalika Datta; Abhoy Kole; Rolf Drechsler (RC, 2024)