Login / Signup

A new look at the automatic synthesis of linear ranking functions.

Roberto BagnaraFred MesnardAndrea PescettiEnea Zaffanella
Published in: Inf. Comput. (2012)
Keyphrases