Learning of event-recording automata (Q604474): Difference between revisions

@@ Property / describes a project that uses @@
+Bandera
@@ Property / describes a project that uses: Bandera / 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.1016/j.tcs.2010.07.008
+Normal rank
@@ Property / OpenAlex ID @@
+W1994748133
@@ Property / OpenAlex ID: W1994748133 / 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 @@
+Q4817528
@@ Property / cites work: Q4817528 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Q4336266
@@ Property / cites work: Q4336266 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods and software engineering. 5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5--7, 2003. Proceedings
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Inference of Event-Recording Automata Using Timed Decision Trees
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472253
@@ Property / cites work: Q4472253 / rank @@
+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 @@
+Q4738314
@@ Property / cites work: Q4738314 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal proof methodologies for timed transition systems
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753757
@@ Property / cites work: Q2753757 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, languages and programming. 25th international colloquium, ICALP '98. Aalborg, Denmark, July 13--17, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Inference of finite automata using homing sequences
+Normal rank
@@ Property / cites work @@
+Testing timed automata
@@ Property / cites work: Testing timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685979
@@ Property / cites work: Q5685979 / rank @@
+Normal rank