From the 1 of 3 linked papers with an AI index.
3 papers
quant-ph2026
Quantum Nonlocality under Latency Constraints
Dawei Ding, Zhengfeng Ji, Pierre Pocreau +2
The paper extends Bell inequality theory by explicitly incorporating spacetime latency constraints, introducing latency‑constrained games to compare classical and quantum correlati…
cs.LO2025
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.PL2025
Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
Huiling Wu, Yuxin Deng, Ming Xu
Verifying the functional correctness of programs with both classical and quantum constructs is a challenging task. The presence of probabilistic behaviour entailed by quantum measu…