Author:
Chen Yu-Fang,Clarke Edmund M.,Farzan Azadeh,Tsai Ming-Hsien,Tsay Yih-Kuen,Wang Bow-Yaw
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 75(2), 87–106 (1987)
2. Barringer, H., Giannakopoulou, D., Păsăreanu, C.S.: Proof rules for automated compositional verification through learning. In: Workshop on Specification and Verification of Component-Based Systems, pp. 14–21 (2003)
3. Lecture Notes in Computer Science;M.G. Bobaru,2008
4. Bshouty, N.H.: Exact learning boolean function via the monotone theory. Information and Computation 123(1), 146–153 (1995)
5. Lecture Notes in Computer Science;S. Chaki,2005
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献