Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains.

Jingyi Mei Ming Xu Ji Guan Yuxin Deng Nengkun Yu

Published in: CoRR (2022)

Keyphrases

markov processes
continuous time markov chains
quantum computation
logic circuits
stochastic processes
markov chain
markov process
modal logic
poisson distribution
stochastic process
numerically stable
random variables
computational efficiency