Jingyi Mei | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Ming Xu
31 publications
Nengkun Yu
14 publications
Yuxin Deng
10 publications
Ji Guan
10 publications
Jianling Fu
1 publication

research

∙ 02/11/2022

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains

Verifying quantum systems has attracted a lot of interest in the last de...

0 Jingyi Mei, et al. ∙

research

∙ 05/02/2021

Model Checking Quantum Continuous-Time Markov Chains

Verifying quantum systems has attracted a lot of interests in the last d...

0 Ming Xu, et al. ∙

research

∙ 01/13/2021

An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains

Fidelity is one of the most widely used quantities in quantum informatio...

0 Ming Xu, et al. ∙