In this article, we present a semantics-level adaption of the Optional Stopping Theorem, sketch an expected-cost analysis as its application, and survey different variants of the Optional Stopping Theorem that have been used in static analysis of probabilistic programs.

翻译：在本文中,我们展示了《任择停止理论》的语义级调整,勾画了用于应用的预期成本分析,并调查了用于对概率方案进行静态分析的《任择停止理论》的不同变体。