Model checking QCTL plus on quantum Markov chains M Xu, J Fu, J Mei, Y Deng Theoretical Computer Science 913, 43-72, 2022 | 8 | 2022 |
Model checking quantum continuous-time Markov chains M Xu, J Mei, J Guan, N Yu CONCUR, 2021 | 7 | 2021 |
An algebraic method to fidelity-based model checking over quantum Markov chains M Xu, J Fu, J Mei, Y Deng Theoretical Computer Science 935, 61-81, 2022 | 3 | 2022 |
Checking continuous stochastic logic against quantum continuous-time Markov chains J Mei, M Xu, J Guan, Y Deng, N Yu arXiv preprint arXiv:2202.05412, 2022 | 1 | 2022 |
Quantitative controller synthesis for consumption Markov decision processes J Fu, CC Huang, Y Li, J Mei, M Xu, L Zhang Information Processing Letters 180, 106342, 2023 | | 2023 |