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