PAC learning-based verification and model synthesis. - Yu-Fang Chen 001; Chiao Hsieh; Ondrej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai 001; Bow-Yaw Wang; Farn Wang (ICSE, 2016)