Proving almost-sure termination by omega-regular decomposition.

Jianhui Chen, Fei He

Browse the full PLDI paper archive.