TY  - RPRT
TI  - PAC Learning-Based Verification and Model Synthesis
AU  - Yu-Fang Chen
AU  - Chiao Hsieh
AU  - Ondřej Lengál
AU  - Tsung-Ju Lii
AU  - Ming-Hsien Tsai
AU  - Bow-Yaw Wang
AU  - Farn Wang
PY  - 2015
UR  - https://arxiv.org/abs/1511.00754
ID  - 1511.00754
ER  -