This is the KoAT2 Web Interface for the paper "Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes".
Show Help for PIP Language (in new window)