43 citations · 180 across the 26 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2020★ 4 cited
A Probabilistic Logic for Verifying Continuous-time Markov Chains
Ji Guan, Nengkun Yu
A continuous-time Markov chain (CTMC) execution is a continuous class of probability distributions over states. This paper proposes a probabilistic linear-time temporal logic, name…