3 papers
cs.LO2026
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
Nils Lommen, Ãléanore Meyer, Jürgen Giesl
KoAT is a tool to automatically infer complexity bounds and prove termination of (possibly recursive) integer programs. To this end, KoAT implements an alternating modular inferenc…
cs.LO2025
Targeting Completeness: Automated Complexity Analysis of Integer Programs
Nils Lommen, Ãléanore Meyer, Jürgen Giesl
There exist several approaches to infer runtime or resource bounds for integer programs automatically. In this paper, we study the subclass of periodic rational solvable loops (prs…
cs.LO2025
Deciding Termination of Simple Randomized Loops
Ãléanore Meyer, Jürgen Giesl
We show that universal positive almost sure termination (UPAST) is decidable for a class of simple randomized programs, i.e., it is decidable whether the expected runtime of such a…