Author:
Vaandrager Frits,Midya Abhisek
Subject
General Computer Science,Theoretical Computer Science
Reference39 articles.
1. Automata learning through counterexample-guided abstraction refinement;Aarts,2012
2. Generating models of infinite-state communication protocols using regular inference with abstraction;Aarts;Form. Methods Syst. Des.,2015
3. Learning regular sets from queries and counterexamples;Angluin;Inf. Comput.,1987
4. Learning regular omega languages;Angluin;Theor. Comput. Sci.,2016
5. What you must remember when processing data words;Benedikt,2010
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献