KoAT

swMATH39827MaRDI QIDQ55527

No author found.

Source code repository: https://github.com/aprove-developers/KoAT2-Releases/tree/probabilistic

Described by source

• Inferring expected runtimes of probabilistic integer programs using expected sizes

Related Items (3)

Learning probabilistic termination proofs ⋮ Latticed \(k\)-induction with an application to probabilistic programs ⋮ Automatic complexity analysis of integer programs via triangular weakly non-linear loops

This page was built for software: KoAT