PAC learning-based verification and model synthesis.

Yu-Fang Chen, Chiao Hsieh, Ondrej Lengl, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Browse the full ICSE paper archive.