Interpolants as Classifiers.

Rahul Sharma, Aditya V. Nori, Alex Aiken

Browse the full CAV paper archive.