39 citations · 66 across the 9 of their papers we have counts for
1 paper · 1 filter
Jan Leike, Matthias Heizmann
We present a new method for the constraint-based synthesis of termination arguments for linear loop programs based on linear ranking templates. Linear ranking templates are paramet…