4 citations · 11 across the 9 of their papers we have counts for
9 papers
Quantum Nonlocality under Latency Constraints
Dawei Ding, Zhengfeng Ji, Pierre Pocreau +2
Bell inequalities are bounds on the correlations between different parties obeying a local hidden variable theory. Here, "local" refers to spacetime locality: the parties cannot co…
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…
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 …
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…
A Pattern Matching-Based Framework for Quantum Circuit Rewriting
Hui Jiang, Diankang Li, Yuxin Deng +1
The realization of quantum algorithms relies on specific quantum compilations according to the underlying quantum processors. However, there are various ways to physically implemen…
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…
Quantum Circuit Transformation Based on Tabu Search
Hui Jiang, Yuxin Deng, Ming Xu
The goal of quantum circuit transformation is to map a logical circuit to a physical device by inserting additional gates as few as possible in an acceptable amount of time. We pre…
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains
Ming Xu, Jianling Fu, Jingyi Mei +1
Fidelity is one of the most widely used quantities in quantum information that measure the distance of quantum states through a noisy channel. In this paper, we introduce a quantum…
Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time
Peixin Wang, Hongfei Fu, Krishnendu Chatterjee +2
The notion of program sensitivity (aka Lipschitz continuity) specifies that changes in the program input result in proportional changes to the program output. For probabilistic pro…