| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2016 | 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 | ||||
| 2017 | Register automata with linear arithmetic | Yu-Fang Chen; Ondrej Lengál; Tony Tan; Zhilin Wu |
