Recently, we showed how to use control-flow refinement (CFR) to improve automatic complexity analysis of integer programs. While up to now CFR was limited to classical programs, in this paper we extend CFR to probabilistic programs and show its soundness for complexity analysis. To demonstrate its benefits, we implemented our new CFR technique in our complexity analysis tool KoAT.

翻译：近期，我们展示了如何利用控流精化（CFR）改进整数程序的自动复杂度分析。虽然迄今为止CFR仅适用于经典程序，但本文将其扩展至概率程序，并证明了该方法在复杂度分析中的可靠性。为展示其优势，我们在复杂度分析工具KoAT中实现了这一新型CFR技术。