Dissecting \texttt{ltlsynt} (Q6151759): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-022-00407-6
@@ Property / DOI: 10.1007/s10703-022-00407-6 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-022-00407-6
+Normal rank
@@ Property / OpenAlex ID @@
+W4384300979
@@ Property / OpenAlex ID: W4384300979 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing the Powerset Construction for Restricted Classes of ω-Automata
+Normal rank
@@ Property / cites work @@
+Modalities for model checking: Branching time logic strikes back
+Normal rank
@@ Property / cites work @@
+One Theorem to Rule Them All
@@ Property / cites work: One Theorem to Rule Them All / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536600
@@ Property / cites work: Q4536600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3459475
@@ Property / cites work: Q3459475 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient minimization of deterministic weak \(\omega\)-automata
+Normal rank
@@ Property / cites work @@
+Q3384171
@@ Property / cites work: Q3384171 / rank @@
+Normal rank
@@ Property / cites work @@
+State Reduction in Incompletely Specified Finite-State Machines
+Normal rank
@@ Property / cites work @@
+An Improved Construction of Deterministic Omega-automaton Using Derivatives
+Normal rank
@@ Property / cites work @@
+Effective reductions of Mealy machines
@@ Property / cites work: Effective reductions of Mealy machines / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ Property / cites work @@
+From Spot 2.0 to Spot 2.10: What’s New?
@@ Property / cites work: From Spot 2.0 to Spot 2.10: What’s New? / rank @@
+Normal rank
@@ Property / cites work @@
+Practical “Paritizing” of Emerson-Lei Automata
+Normal rank
@@ Property / DOI @@
+.1007/S10703-022-00407-6
@@ Property / DOI: 10.1007/S10703-022-00407-6 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6151759