Towards a grand unification of Büchi complementation constructions (Q6113976): Difference between revisions

@@ Property / cites work @@
+Advanced Ramsey-Based Büchi Automata Inclusion Testing
+Normal rank
@@ Property / cites work @@
+A Simple and Optimal Complementation Algorithm for Büchi Automata
+Normal rank
@@ Property / cites work @@
+Learning regular omega languages
@@ Property / cites work: Learning regular omega languages / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Ramsey-Based Büchi Complementation
@@ Property / cites work: Improved Ramsey-Based Büchi Complementation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Ultimately periodic words of rational ω-languages
+Normal rank
@@ Property / cites work @@
+Q4722045
@@ Property / cites work: Q4722045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771062
@@ Property / cites work: Q2771062 / rank @@
+Normal rank
@@ Property / cites work @@
+Profile trees for Büchi word automata, with application to determinization
+Normal rank
@@ Property / cites work @@
+Unifying B\"uchi Complementation Constructions
@@ Property / cites work: Unifying B\"uchi Complementation Constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Büchi Universality Checking
@@ Property / cites work: Efficient Büchi Universality Checking / rank @@
+Normal rank
@@ Property / cites work @@
+B\"uchi Complementation and Size-Change Termination
+Normal rank
@@ Property / cites work @@
+BÜCHI COMPLEMENTATION MADE TIGHTER
@@ Property / cites work: BÜCHI COMPLEMENTATION MADE TIGHTER / rank @@
+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 @@
+Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation
+Normal rank
@@ Property / cites work @@
+Complementation, Disambiguation, and Determinization of Büchi Automata Unified
+Normal rank
@@ Property / cites work @@
+On Minimal Odd Rankings for Büchi Complementation
+Normal rank
@@ Property / cites work @@
+Model checking of safety properties
@@ Property / cites work: Model checking of safety properties / 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 @@
+Q5092321
@@ Property / cites work: Q5092321 / rank @@
+Normal rank
@@ Property / cites work @@
+On syntactic congruences for \(\omega\)-languages
@@ Property / cites work: On syntactic congruences for \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating finite automata on \(\omega\)-words
@@ Property / cites work: Alternating finite automata on \(\omega\)-words / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
+Normal rank
@@ Property / cites work @@
+Linear Automaton Transformations
@@ Property / cites work: Linear Automaton Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Büchi Complementation Made Tight
@@ Property / cites work: Büchi Complementation Made Tight / rank @@
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+State of B\"uchi Complementation
@@ Property / cites work: State of B\"uchi Complementation / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of concurrent programs: The automata-theoretic framework
+Normal rank
@@ Property / cites work @@
+The Büchi Complementation Saga
@@ Property / cites work: The Büchi Complementation Saga / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
+Normal rank