제어 흐름 정제(CFR) 기술을 확률적 프로그램에 적용하여 자동 복잡도 분석의 성능을 크게 향상시킬 수 있다.
확률적 프로그램의 정량적 분석을 위해 분할 선형 상한 및 하한을 자동으로 합성하는 새로운 접근법을 제안한다.