TY  - RPRT
TI  - On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop
AU  - Xin Sun
AU  - Xingchi Su
AU  - Xiaoning Bian
AU  - Anran Cui
PY  - 2024
UR  - https://arxiv.org/abs/2406.16054
ID  - 2406.16054
ER  -