Linear Ranking for Linear Lasso Programs.

Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski

Browse the full ATVA paper archive.