Learning infinite-word automata with loop-index queries (Q2124472): Difference between revisions

@@ 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.artint.2022.103710
+Normal rank
@@ Property / OpenAlex ID @@
+W4220776705
@@ Property / OpenAlex ID: W4220776705 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Q4603446
@@ Property / cites work: Q4603446 / rank @@
+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 @@
+Regular \(\omega\)-languages with an informative right congruence
+Normal rank
@@ Property / cites work @@
+Learning Weighted Automata
@@ Property / cites work: Learning Weighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the Rademacher Complexity of Weighted Automata
@@ Property / cites work: On the Rademacher Complexity of Weighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Generalization bounds for learning weighted automata
+Normal rank
@@ Property / cites work @@
+A Canonical Form for Weighted Automata and Applications to Approximate Minimization
+Normal rank
@@ Property / cites work @@
+Ultimately periodic words of rational ω-languages
+Normal rank
@@ Property / cites work @@
+Quantitative languages
@@ Property / cites work: Quantitative languages / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Model Checking
@@ Property / cites work: Handbook of Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+From average case complexity to improper learning complexity
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
+Normal rank
@@ Property / cites work @@
+Learning Multiplicity Tree Automata
@@ Property / cites work: Learning Multiplicity Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Cryptographic limitations on learning Boolean formulae and finite automata
+Normal rank
@@ Property / cites work @@
+Learning Meets Verification
@@ Property / cites work: Learning Meets Verification / 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 @@
+Q2788371
@@ Property / cites work: Q2788371 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875378
@@ Property / cites work: Q5875378 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4999312
@@ Property / cites work: Q4999312 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning nominal automata
@@ Property / cites work: Learning nominal automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the Merits of Temporal Testers
@@ Property / cites work: On the Merits of Temporal Testers / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond Hyper-Minimisation--Minimising DBAs and DPAs is NP-Complete
+Normal rank
@@ Property / cites work @@
+Finite-state \(\omega\)-languages
@@ Property / cites work: Finite-state \(\omega\)-languages / rank @@
+Normal rank