Learning Mealy machines with one timer (Q2232274): Difference between revisions

@@ Property / author @@
-Frits W. Vaandrager
@@ Property / author: Frits W. Vaandrager / rank @@
-Normal rank
@@ Property / author @@
+Frits W. Vaandrager
@@ Property / author: Frits W. Vaandrager / 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.1007/978-3-030-68195-1_13
+Normal rank
@@ Property / OpenAlex ID @@
+W3126328623
@@ Property / OpenAlex ID: W3126328623 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Learning One-Clock Timed Automata
@@ Property / cites work: Learning One-Clock Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Learning of event-recording automata
@@ Property / cites work: Learning of event-recording automata / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of Event-Recording Automata Using Timed Decision Trees
+Normal rank
@@ Property / cites work @@
+Active learning of timed automata with unobservable resets
+Normal rank
@@ Property / cites work @@
+Combining black-box and white-box techniques for learning register automata
+Normal rank
@@ Property / cites work @@
+Inference of finite automata using homing sequences
+Normal rank
@@ Property / cites work @@
+Time to learn -- learning timed automata from tests
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2232274