175 citations · 1.2k across the 63 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
quant-ph2022★ 1 cited
Sample optimal tomography of quantum Markov chains
Li Gao, Nengkun Yu
A state on a tripartite quantum system forms a Markov chain, i.e., quantum conditional independence, if it can be re…
cs.LO2022★ 3 cited
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Ming Xu, Jingyi Mei, Ji Guan +2
Verifying quantum systems has attracted a lot of interest in the last decades.In this paper, we study the quantitative model-checking of quantum continuous-time Markov chains (quan…