A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains

Open Webpage

Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li

Published: 2024, Last Modified: 27 Feb 2026HSCC 2024EveryoneRevisionsBibTeXCC BY-SA 4.0