43 citations · 180 across the 26 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
quant-ph2020★ 7 cited
An HHL-Based Algorithm for Computing Hitting Probabilities of Quantum Random Walks
Ji Guan, Qisheng Wang, Mingsheng Ying
We present a novel application of the HHL (Harrow-Hassidim-Lloyd) algorithm -- a quantum algorithm solving systems of linear equations -- in solving an open problem about quantum r…
quant-ph2020★ 40 cited
Robustness Verification of Quantum Classifiers
Ji Guan, Wang Fang, Mingsheng Ying
Several important models of machine learning algorithms have been successfully generalized to the quantum world, with potential speedup to training classical classifiers and applic…
cs.LO2020★ 4 cited
A Probabilistic Logic for Verifying Continuous-time Markov Chains
Ji Guan, Nengkun Yu
A continuous-time Markov chain (CTMC) execution is a continuous class of probability distributions over states. This paper proposes a probabilistic linear-time temporal logic, name…