Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper).

Nils Lommen, lanore Meyer, Jrgen Giesl

Browse the full IJCAR paper archive.