This is the KoAT2 Web Interface for the paper "Computing Expected Runtimes for Constant Probability Programs".

Analysis of Constant Probability Programs

Show Help for CP Language (in new window)

asymmetric_random_walk direct_termination_non_constant_runtime example_with_complex_roots FalseDirectTerm higher_multiplicity input_format irrational_runtime modified_univariate_race_of_tortoise_and_hare negative_binomial_loop NotAST NotPAST symmetric_random_walk test tortoise_hare tortoise_hare_direct_termination tortoise_hare_univariate tortoise_hare_univariate_direct_termination
Accepted file formats: koat

Version koat2-exact-runtime