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

@@ 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