Mediating for reduction (on minimizing alternating Büchi automata) (Q740970): Difference between revisions

@@ Property / cites work @@
+Q2920108
@@ Property / cites work: Q2920108 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak alternating automata are not that weak
@@ Property / cites work: Weak alternating automata are not that weak / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-Theoretic Model Checking Revisited
@@ Property / cites work: Automata-Theoretic Model Checking Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation relations for alternating Büchi automata
+Normal rank
@@ Property / cites work @@
+Computing Simulations over Tree Automata
@@ Property / cites work: Computing Simulations over Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415252
@@ Property / cites work: Q4415252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754087
@@ Property / cites work: Q2754087 / rank @@
+Normal rank