Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?

@inproceedings{pub14865,
    author = {

Hurwitz, Liam
 and 

Datta, Kamalika
 and 

Kole, Abhoy
 and 

Drechsler, Rolf
},
    title = {Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?},
    booktitle = {16th Conference on Reversible Computation. International Conference on Reversible Computation (RC-2024), July 4-5, Torun, Poland},
    year = {2024}
}