On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words (Q6094518): Difference between revisions

@@ Property / DOI @@
-.3233/fi-222152
@@ Property / DOI: 10.3233/fi-222152 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W4383956509
@@ Property / OpenAlex ID: W4383956509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+State Reduction in Incompletely Specified Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Beyond Hyper-Minimisation--Minimising DBAs and DPAs is NP-Complete
+Normal rank
@@ Property / cites work @@
+Q4525725
@@ Property / cites work: Q4525725 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999156
@@ Property / cites work: Q3999156 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Efficient minimization of deterministic weak \(\omega\)-automata
+Normal rank
@@ Property / cites work @@
+Q4055589
@@ Property / cites work: Q4055589 / 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 @@
+On ω-regular sets
@@ Property / cites work: On ω-regular sets / 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 @@
+Learning regular omega languages
@@ Property / cites work: Learning regular omega languages / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 18th international conference, CAV 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings.
+Normal rank
@@ Property / cites work @@
+Computing the Rabin Index of a Parity Automaton
@@ Property / cites work: Computing the Rabin Index of a Parity Automaton / rank @@
+Normal rank
@@ Property / cites work @@
+New Optimizations and Heuristics for Determinization of Büchi Automata
+Normal rank
@@ Property / cites work @@
+Q6168432
@@ Property / cites work: Q6168432 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Identification of $$\omega $$-Automata
@@ Property / cites work: Polynomial Identification of $$\omega $$-Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / DOI @@
+.3233/FI-222152
@@ Property / DOI: 10.3233/FI-222152 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6094518