QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers.

Arlen Cox Bor-Yuh Evan Chang Sriram Sankaranarayanan

Published in: CAV (2014)

Keyphrases

credit assignment
decision trees
nearest neighbor
parametric models