3 papers
quant-ph2025
Cycle-Aware ZZ Crosstalk Mitigation on Quantum Hardware
Jiayi Zhong, Yuxin Deng
ZZ crosstalk and decoherence hinder superconducting quantum computing. To enhance parallelism in mitigating ZZ crosstalk, we formulate the problem by integrating quantum cycles and…
quant-ph2024
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
Jianling Fu, Hui Jiang, Ming Xu +2
We consider the two categories of termination problems of quantum programs with nondeterminism: 1) Is an input of a program terminating with probability one under all schedulers? I…
cs.LO2023
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs
Hui Jiang, Jianling Fu, Ming Xu +2
Reachability analysis plays a central role in system design and verification. The reachability problem, denoted , asks whether the system will meet the property …