Anran Cui | 清华大学计算机系量子软件研究中心 https://quantum.cs.tsinghua.edu.cn/author/anran-cui/ Anran Cui Hugo Blox Builder (https://hugoblox.com)zh-HansMon, 01 Jun 2026 00:00:00 +0000 https://quantum.cs.tsinghua.edu.cn/media/icon_hu_4bddb5895fb575d1.png Anran Cui https://quantum.cs.tsinghua.edu.cn/author/anran-cui/ Satisfaction-Based Probabilistic Hoare Logic with While Loop: Weakest Precondition and Relative Completeness https://quantum.cs.tsinghua.edu.cn/publication/sun-2026-satisfaction-based-probabilistic-hoare-logic-with-while-loop-weakest-precondition-and-relative-comp/ Mon, 01 Jun 2026 00:00:00 +0000 https://quantum.cs.tsinghua.edu.cn/publication/sun-2026-satisfaction-based-probabilistic-hoare-logic-with-while-loop-weakest-precondition-and-relative-comp/