Active learning of timed automata with unobservable resets (Q1996023): Difference between revisions

@@ Property / cites work @@
+Learning One-Clock Timed Automata
@@ Property / cites work: Learning One-Clock Timed Automata / 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 @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Queries and concept learning
@@ Property / cites work: Queries and concept learning / rank @@
+Normal rank
@@ Property / cites work @@
+A Game Approach to Determinize Timed Automata
@@ Property / cites work: A Game Approach to Determinize Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of Event-Recording Automata Using Timed Decision Trees
+Normal rank
@@ Property / cites work @@
+Network invariants for real-time systems
@@ Property / cites work: Network invariants for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Active learning of timed automata with unobservable resets
+Normal rank
@@ Property / cites work @@
+Time to learn -- learning timed automata from tests
+Normal rank
@@ Property / cites work @@
+Polynomial Distinguishability of Timed Automata
@@ Property / cites work: Polynomial Distinguishability of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiently identifying deterministic real-time automata from labeled data
+Normal rank