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

@@ Property / author @@
+Jean-François Raskin
@@ Property / author: Jean-François Raskin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Antichains
@@ Property / describes a project that uses: Antichains / 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.1007/978-3-642-02979-0_19
+Normal rank
@@ Property / OpenAlex ID @@
+W2026182262
@@ Property / OpenAlex ID: W2026182262 / rank @@
+Normal rank
@@ 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