TY  - RPRT
TI  - Geometric Series as Nontermination Arguments for Linear Lasso Programs
AU  - Jan Leike
AU  - Matthias Heizmann
PY  - 2014
UR  - https://arxiv.org/abs/1405.4413
ID  - 1405.4413
ER  -