Probabilistic Logic

Quantum soundness of testing tensor codes
Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen
引用 DOI
Bisimulations for probabilistic linear lambda calculi
Yuxin Deng, Yuan Feng
引用 DOI
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters
Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum
引用 DOI
A Flowchart Language for Quantum Programming
引用 DOI