Synthesis of ranking functions using extremal counterexamples.

Laure Gonnord, David Monniaux, Gabriel Radanne

Browse the full PLDI paper archive.