Paper accepted at CAV 2024

Published: Jul 22, 2024 by

Our paper Measurement-based Verification of Quantum Markov Chains has been accepted at CAV 2024, the 36th International Conference on Computer Aided Verification.