Synthesis of Linear Ranking Functions.

Michael Coln, Henny Sipma

Browse the full TACAS paper archive.