4.3k citations · 7.2k across the 45 of their papers we have counts for
1 paper · 2 filters
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…