PAC learning-based verification and model synthesis.

Yu-Fang Chen Chiao Hsieh Ondrej Lengál Tsung-Ju Lii Ming-Hsien Tsai Bow-Yaw Wang Farn Wang

Published in: ICSE (2016)

Keyphrases

pac learning
data sets
prior knowledge
machine learning
decision trees
learning theory