activity
20232026
most citedControl-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.LO2023

Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version)

Nils Lommen, Eleanore Meyer, Jürgen Giesl

There exist several results on deciding termination and computing runtime bounds for triangular weakly non-linear loops (twn-loops). We show how to use results on such subclasses o…