From LTL to deterministic automata. A safraless compositional approach (Q2363815): Difference between revisions

@@ Property / describes a project that uses @@
+SPOT
@@ Property / describes a project that uses: SPOT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BEEM
@@ Property / describes a project that uses: BEEM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LTL2BA
@@ Property / describes a project that uses: LTL2BA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ltl2dstar
@@ Property / describes a project that uses: ltl2dstar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rabinizer
@@ Property / describes a project that uses: Rabinizer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/Isar
@@ Property / describes a project that uses: Isabelle/Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2557837928
@@ Property / OpenAlex ID: W2557837928 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3388
@@ Property / arXiv ID: 1402.3388 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493881
@@ Property / cites work: Q4493881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+LTL to Büchi Automata Translation: Fast and More Deterministic
+Normal rank
@@ Property / cites work @@
+Manipulating LTL Formulas Using Spot 1.0
@@ Property / cites work: Manipulating LTL Formulas Using Spot 1.0 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+Tighter Bounds for the Determinisation of Büchi Automata
+Normal rank
@@ Property / cites work @@
+Rabinizer: Small Deterministic Automata for LTL(F,G)
+Normal rank
@@ Property / cites work @@
+Rabinizer 2: Small Deterministic Automata for LTL ∖ GU
+Normal rank
@@ Property / cites work @@
+From LTL to deterministic automata. A safraless compositional approach
+Normal rank
@@ Property / cites work @@
+Q4817549
@@ Property / cites work: Q4817549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536600
@@ Property / cites work: Q4536600 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata
+Normal rank
@@ Property / cites work @@
+Q4422087
@@ Property / cites work: Q4422087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754087
@@ Property / cites work: Q2754087 / rank @@
+Normal rank
@@ Property / cites work @@
+On-the-Fly Stuttering in the Construction of Deterministic ω-Automata
+Normal rank
@@ Property / cites work @@
+Comparison of LTL to Deterministic Rabin Automata Translators
+Normal rank
@@ Property / cites work @@
+On the Merits of Temporal Testers
@@ Property / cites work: On the Merits of Temporal Testers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3814796
@@ Property / cites work: Q3814796 / rank @@
+Normal rank
@@ Property / cites work @@
+Safraless Procedures for Timed Specifications
@@ Property / cites work: Safraless Procedures for Timed Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Safraless Compositional Synthesis
@@ Property / cites work: Safraless Compositional Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic generators and games for Ltl fragments
+Normal rank
@@ Property / cites work @@
+Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
+Normal rank
@@ Property / cites work @@
+Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
+Normal rank
@@ Property / cites work @@
+Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank