確率的プログラムの制御フロー洗練化によるKoATでの複雑性解析

確率的プログラムの複雑性解析を改善するために、制御フロー洗練化(CFR)を確率的プログラムに拡張し、その正当性を示した。