240819

Our paper “Quantum Probabilistic Model Checking for Time-Bounded Properties” has been accepted to OOPSLA 2024.