Paper accepted at CAV’24

We are delighted that our paper about the measurement-based verification of quantum Markov chains, has been accepted at CAV’24.