Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition (Q6487334): Difference between revisions

@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Complementing semi-deterministic Büchi automata
@@ Property / cites work: Complementing semi-deterministic Büchi automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539644
@@ Property / cites work: Q4539644 / rank @@
+Normal rank
@@ Property / cites work @@
+A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities for model checking: Branching time logic strikes back
+Normal rank
@@ Property / cites work @@
+From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+A Unified Translation of Linear Temporal Logic to ω-Automata
+Normal rank
@@ Property / cites work @@
+ω-Automata
@@ Property / cites work: ω-Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Modular Approach for Büchi Determinization.
@@ Property / cites work: A Modular Approach for Büchi Determinization. / rank @@
+Normal rank
@@ Property / cites work @@
+Profile trees for Büchi word automata, with application to determinization
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Complementation, Disambiguation, and Determinization of Büchi Automata Unified
+Normal rank
@@ Property / cites work @@
+On-the-Fly Stuttering in the Construction of Deterministic ω-Automata
+Normal rank
@@ Property / cites work @@
+Owl: a library for \(\omega \)-words, automata, and LTL
+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 @@
+Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
+Normal rank
@@ Property / cites work @@
+A tighter analysis of Piterman's Büchi determinization
+Normal rank
@@ Property / cites work @@
+Q4501665
@@ Property / cites work: Q4501665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5092321
@@ Property / cites work: Q5092321 / rank @@
+Normal rank
@@ Property / cites work @@
+New Optimizations and Heuristics for Determinization of Büchi Automata
+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 @@
+Alternating automata, the weak monadic theory of trees and its complexity
+Normal rank
@@ Property / cites work @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+An Improved Construction of Deterministic Omega-automaton Using Derivatives
+Normal rank
@@ Property / cites work @@
+Büchi Complementation Made Tight
@@ Property / cites work: Büchi Complementation Made Tight / rank @@
+Normal rank
@@ Property / cites work @@
+Tighter Bounds for the Determinisation of Büchi Automata
+Normal rank
@@ Property / cites work @@
+State of B\"uchi Complementation
@@ Property / cites work: State of B\"uchi Complementation / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
+Normal rank