From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata (Q3303906): Difference between revisions

@@ Property / arXiv ID @@
+.06103
@@ Property / arXiv ID: 1701.06103 / 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 @@
+Comparison of LTL to Deterministic Rabin Automata Translators
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
+Normal rank
@@ Property / cites work @@
+Bounded Synthesis for Petri Games
@@ Property / cites work: Bounded Synthesis for Petri Games / rank @@
+Normal rank
@@ Property / cites work @@
+Profile trees for Büchi word automata, with application to determinization
+Normal rank
@@ Property / cites work @@
+Q3459475
@@ Property / cites work: Q3459475 / 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 @@
+Limit deterministic and probabilistic automata for \(\mathrm{LTL}\backslash GU\)
+Normal rank
@@ Property / cites work @@
+Q4501665
@@ Property / cites work: Q4501665 / rank @@
+Normal rank
@@ Property / cites work @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+An Improved Construction of Deterministic Omega-automaton Using Derivatives
+Normal rank
@@ Property / cites work @@
+Limit-Deterministic Büchi Automata for Linear Temporal Logic
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank