TY - RPRT TI - A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs AU - Hui Jiang AU - Jianling Fu AU - Ming Xu AU - Yuxin Deng AU - Zhi-Bin Li PY - 2023 UR - https://arxiv.org/abs/2310.11882 ID - 2310.11882 ER -