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 kind of nontermination argument, called geometric nontermination argument. The geometric nontermination argument is a finite representation of an infinite executio…