Publisher
Open Publishing Association
Reference37 articles.
1. Learning Regular Sets from Queries and Counterexamples;Angluin;Inf. Comput.,1987
2. The Power of Random Counterexamples;Angluin,2017
3. Local policies for resource usage analysis;Bartoletti;ACM Trans. Program. Lang. Syst.,2009
4. Automata theory in nominal sets;Bojańczyk;Logical Methods in Computer Science,2014
5. A Fresh Approach to Learning Register Automata;Bollig,2013