Xin Sun, Xingchi Su, Xiaoning Bian, Anran Cui. Satisfaction-Based Probabilistic Hoare Logic with While Loop: Weakest Precondition and Relative Completeness. In Jing Wang, Alexandre Madeira, Lei Li, editors, Dynamic Logic. New Trends and Applications - 6th International Workshop, DaLí 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers. Volume 16472 of Lecture Notes in Computer Science, pages 58-78, Springer, 2025. [doi]
No references recorded for this publication.
No citations of this publication recorded.