Generic Emptiness Check for Fun and Profit (Q3297604): Difference between revisions

@@ Property / author @@
-Christel Baier
@@ Property / author: Christel Baier / rank @@
-Normal rank
@@ Property / author @@
+Christel Baier
@@ Property / author: Christel Baier / rank @@
+Normal rank
@@ Property / cites work @@
+Rabinizer
@@ Property / cites work: Rabinizer / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Why These Automata Types?
@@ Property / cites work: Why These Automata Types? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365120
@@ Property / cites work: Q5365120 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
+Normal rank
@@ Property / cites work @@
+Q5367065
@@ Property / cites work: Q5367065 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic algorithms for graphs and Markov decision processes with fairness objectives
+Normal rank
@@ Property / cites work @@
+Q4493881
@@ Property / cites work: Q4493881 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing the Powerset Construction for Restricted Classes of ω-Automata
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+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 @@
+On-the-fly Emptiness Check of Transition-Based Streett Automata
+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 @@
+One Theorem to Rule Them All
@@ Property / cites work: One Theorem to Rule Them All / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Lazy probabilistic model checking without determinisation
+Normal rank
@@ Property / cites work @@
+Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic
+Normal rank
@@ Property / cites work @@
+On-the-Fly Stuttering in the Construction of Deterministic ω-Automata
+Normal rank
@@ Property / cites work @@
+Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
+Normal rank
@@ Property / cites work @@
+Q4525725
@@ Property / cites work: Q4525725 / rank @@
+Normal rank
@@ Property / cites work @@
+Rabinizer 2: Small Deterministic Automata for LTL ∖ GU
+Normal rank
@@ Property / cites work @@
+Q3384171
@@ Property / cites work: Q3384171 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of multiprocess probabilistic protocols
+Normal rank
@@ Property / cites work @@
+Three SCC-Based Emptiness Checks for Generalized Büchi Automata
+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 @@
+SPOT
@@ Property / describes a project that uses: SPOT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Delag
@@ Property / describes a project that uses: Delag / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-31784-3_26
+Normal rank
@@ Property / OpenAlex ID @@
+W2981424294
@@ Property / OpenAlex ID: W2981424294 / rank @@
+Normal rank