4 citations · 11 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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 …
cs.PL2023
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…