Inferring regular languages and \(\omega\)-languages (Q1648037): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2018.03.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2808742141
@@ Property / OpenAlex ID: W2808742141 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning I/O Automata
@@ Property / cites work: Learning I/O Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of interface specifications for Java classes
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Queries and concept learning
@@ Property / cites work: Queries and concept learning / rank @@
+Normal rank
@@ Property / cites work @@
+Query Learning of Derived Omega-Tree Languages in Polynomial Time
+Normal rank
@@ Property / cites work @@
+Families of DFAs as Acceptors of omega-Regular Languages
+Normal rank
@@ Property / cites work @@
+Learning Regular Omega Languages
@@ Property / cites work: Learning Regular Omega Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Learning regular omega languages
@@ Property / cites work: Learning regular omega languages / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic congruence for rational \(\omega\)-languages
+Normal rank
@@ Property / cites work @@
+Learning Weighted Automata
@@ Property / cites work: Learning Weighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Behaviors of Automata from Multiplicity and Equivalence Queries
+Normal rank
@@ Property / cites work @@
+On the Synthesis of Finite-State Machines from Samples of Their Behavior
+Normal rank
@@ Property / cites work @@
+Transducers with Origin Information
@@ Property / cites work: Transducers with Origin Information / rank @@
+Normal rank
@@ Property / cites work @@
+Sigma*
@@ Property / cites work: Sigma* / rank @@
+Normal rank
@@ Property / cites work @@
+Ultimately periodic words of rational ω-languages
+Normal rank
@@ Property / cites work @@
+Active learning for extended finite state machines
+Normal rank
@@ Property / cites work @@
+Learning the Language of Error
@@ Property / cites work: Learning the Language of Error / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of \(\omega\)-languages from prefixes.
@@ Property / cites work: Inference of \(\omega\)-languages from prefixes. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762501
@@ Property / cites work: Q2762501 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Symbolic Automata
@@ Property / cites work: Learning Symbolic Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
+Normal rank
@@ Property / cites work @@
+Matrices de Hankel
@@ Property / cites work: Matrices de Hankel / rank @@
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of automaton identification from given data
+Normal rank
@@ Property / cites work @@
+Inferring Network Invariants Automatically
@@ Property / cites work: Inferring Network Invariants Automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Exact DFA Identification Using SAT Solvers
@@ Property / cites work: Exact DFA Identification Using SAT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Canonical Register Automata
@@ Property / cites work: Inferring Canonical Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On?-Languages whose syntactic monoid is trivial
@@ Property / cites work: On?-Languages whose syntactic monoid is trivial / rank @@
+Normal rank
@@ Property / cites work @@
+Succinct representation of regular languages by Boolean automata
+Normal rank
@@ Property / cites work @@
+Learning Meets Verification
@@ Property / cites work: Learning Meets Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4770336
@@ Property / cites work: Q4770336 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536446
@@ Property / cites work: Q4536446 / rank @@
+Normal rank
@@ Property / cites work @@
+On the learnability of infinitary regular sets
@@ Property / cites work: On the learnability of infinitary regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+On syntactic congruences for \(\omega\)-languages
@@ Property / cites work: On syntactic congruences for \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Linear Automaton Transformations
@@ Property / cites work: Linear Automaton Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for the inference of minimum size DFAs
+Normal rank
@@ Property / cites work @@
+Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
+Normal rank
@@ Property / cites work @@
+Q4807832
@@ Property / cites work: Q4807832 / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of finite automata using homing sequences
+Normal rank
@@ Property / cites work @@
+Finite-state \(\omega\)-languages
@@ Property / cites work: Finite-state \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5723183
@@ Property / cites work: Q5723183 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111197
@@ Property / cites work: Q5111197 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4093366
@@ Property / cites work: Q4093366 / rank @@
+Normal rank