TY  - RPRT
TI  - Geometric Nontermination Arguments
AU  - Jan Leike
AU  - Matthias Heizmann
PY  - 2016
UR  - https://arxiv.org/abs/1609.05207
ID  - 1609.05207
ER  -