Next Generation LearnLib
暂无分享,去创建一个
Tiziana Margaria | Bernhard Steffen | Maik Merten | Falk Howar | T. Margaria | B. Steffen | Falk Howar | Maik Merten | F. Howar
[1] Dana Angluin,et al. Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..
[2] Umesh V. Vazirani,et al. An Introduction to Computational Learning Theory , 1994 .
[3] Benedikt Bollig,et al. libalf: The Automata Learning Framework , 2010, CAV.
[4] Bernhard Steffen,et al. Automata Learning with Automated Alphabet Abstraction Refinement , 2011, VMCAI.
[5] Tiziana Margaria,et al. LearnLib: a framework for extrapolating behavioral models , 2009, International Journal on Software Tools for Technology Transfer.
[6] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[7] Bernhard Steffen,et al. From ZULU to RERS - Lessons Learned in the ZULU Challenge , 2010, ISoLA.
[8] Tiziana Margaria,et al. Model-Driven Development with the jABC , 2006, Haifa Verification Conference.
[9] Ronald L. Rivest,et al. Inference of finite automata using homing sequences , 1989, STOC '89.