Automata Learning with Automated Alphabet Abstraction Refinement (Q3075487): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-18275-4_19
+Normal rank
@@ Property / OpenAlex ID @@
+W3136212788
@@ Property / OpenAlex ID: W3136212788 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of interface specifications for Java classes
+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 @@
+Model-based testing of reactive systems. Advanced lectures.
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q4417936
@@ Property / cites work: Q4417936 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Assume-Guarantee Reasoning by Abstraction Refinement
+Normal rank
@@ Property / cites work @@
+Inference of Event-Recording Automata Using Timed Decision Trees
+Normal rank
@@ Property / cites work @@
+Q4738314
@@ Property / cites work: Q4738314 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Automaton Transformations
@@ Property / cites work: Linear Automaton Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of finite automata using homing sequences
+Normal rank