Learning residual alternating automata (Q2105462): Difference between revisions

@@ Property / describes a project that uses @@
+LearnLib
@@ Property / describes a project that uses: LearnLib / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2022.104981
+Normal rank
@@ Property / OpenAlex ID @@
+W2613316388
@@ Property / OpenAlex ID: W2613316388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3404129
@@ Property / cites work: Q3404129 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Q2762501
@@ Property / cites work: Q2762501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417936
@@ Property / cites work: Q4417936 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of interface specifications for Java classes
+Normal rank
@@ Property / cites work @@
+On the equivalence, containment, and covering problems for the regular and context-free languages
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal NFA Problems are Hard
@@ Property / cites work: Minimal NFA Problems are Hard / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Automaton Transformations
@@ Property / cites work: Linear Automaton Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+The Design of Approximation Algorithms
@@ Property / cites work: The Design of Approximation Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for combinatorial problems
+Normal rank
@@ Property / cites work @@
+Learning regular languages using RFSAs.
@@ Property / cites work: Learning regular languages using RFSAs. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4964028
@@ Property / cites work: Q4964028 / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring regular languages and \(\omega\)-languages
+Normal rank