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: 01 Jan 2024, Last Modified: 07 Oct 2025HSCC 2024EveryoneRevisionsBibTeXCC BY-SA 4.0