From Spot 2.0 to Spot 2.10: What’s New? (Q6487335): Difference between revisions

@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Minimization of Deterministic $$\omega $$ -Automata
+Normal rank
@@ Property / cites work @@
+Generic Emptiness Check for Fun and Profit
@@ Property / cites work: Generic Emptiness Check for Fun and Profit / 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 @@
+Co-Büching Them All
@@ Property / cites work: Co-Büching Them All / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation Removal in Büchi Automata
@@ Property / cites work: Alternation Removal in Büchi Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q6134271
@@ Property / cites work: Q6134271 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the Rabin Index of a Parity Automaton
@@ Property / cites work: Computing the Rabin Index of a Parity Automaton / rank @@
+Normal rank
@@ Property / cites work @@
+FORQ-Based Language Inclusion Formal Testing
@@ Property / cites work: FORQ-Based Language Inclusion Formal Testing / 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 @@
+Modalities for model checking: Branching time logic strikes back
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+Complementing Büchi Automata with Ranker
@@ Property / cites work: Complementing Büchi Automata with Ranker / rank @@
+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 @@
+Q4525725
@@ Property / cites work: Q4525725 / rank @@
+Normal rank
@@ Property / cites work @@
+Index Appearance Record for Transforming Rabin Automata into Parity Automata
+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 @@
+Practical “Paritizing” of Emerson-Lei Automata
+Normal rank