Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li 0005. A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. In Erika Ábrahám, Manuel Mazo Jr., editors, Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024. ACM, 2024. [doi]
Abstract is missing.