Geometric Series as Nontermination Arguments for Linear Lasso Programs

Jan Leike, Matthias Heizmann

We present a new kind of nontermination argument for linear lasso programs, called geometric nontermination argument. A geometric nontermination argument is a finite representation…