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 |
Equivalence Checking of Quantum Circuits by Model Counting J Mei, T Coopmans, M Bonsangue, A Laarman arXiv preprint arXiv:2403.18813, 2024 | | 2024 |
Simulating Quantum Circuits by Model Counting J Mei, M Bonsangue, A Laarman arXiv preprint arXiv:2403.07197, 2024 | | 2024 |
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 |