Learning Transparent Data Automata (Q5166760): 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.1007/978-3-319-07734-5_8
+Normal rank
@@ Property / OpenAlex ID @@
+W107790019
@@ Property / OpenAlex ID: W107790019 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data words
@@ Property / cites work: Two-variable logic on data words / rank @@
+Normal rank
@@ Property / cites work @@
+On notions of regularity for data languages
@@ Property / cites work: On notions of regularity for data languages / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Network Invariants Automatically
@@ Property / cites work: Inferring Network Invariants Automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Canonical Register Automata
@@ Property / cites work: Inferring Canonical Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Fresh Approach to Learning Register Automata
@@ Property / cites work: A Fresh Approach to Learning Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3225714
@@ Property / cites work: Q3225714 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Synthesis of Finite-State Machines from Samples of Their Behavior
+Normal rank