公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2017 | A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees | Yong Li; Yu-Fang Chen; Lijun Zhang; Depeng Liu | ||||
2018 | Advanced Automata-based Algorithms for Program Termination Checking | Yu-Fang Chen; Matthias Heizmann; Ondrej Lengal; Yong Li; Ming-Hsien Tsai; Andrea Turrini; Lijun Zhang | ||||
2015 | Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation | Yu-Fang Chen; Chih-Duo Hong; Bow-Yaw Wang; Lijun Zhang | ||||
2015 | Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems | Fei He; Xiaowei Gao; Bow-Yaw Wang; Lijun Zhang |