Fixpoint Guided Abstraction Refinement for Alternating Automata (Q3637352): Difference between revisions

@@ Property / cites work @@
+Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Fixpoint-Guided Abstraction Refinements
@@ Property / cites work: Fixpoint-Guided Abstraction Refinements / rank @@
+Normal rank
@@ Property / cites work @@
+Antichains: A New Algorithm for Checking Universality of Finite Automata
+Normal rank
@@ Property / cites work @@
+Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
+Normal rank
@@ Property / cites work @@
+Improved Algorithms for the Automata-Based Approach to Model-Checking
+Normal rank
@@ Property / cites work @@
+Q3601862
@@ Property / cites work: Q3601862 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with Imperfect Information
+Normal rank