TY  - RPRT
TI  - Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
AU  - Ming Xu
AU  - Jingyi Mei
AU  - Ji Guan
AU  - Yuxin Deng
AU  - Nengkun Yu
PY  - 2025
DO  - 10.46298/lmcs-21(4:22)2025
UR  - https://arxiv.org/abs/2202.05412
ID  - 2202.05412
ER  -