Random Models for Evaluating Efficient Büchi Universality Checking (Q5224494): Difference between revisions

@@ Property / describes a project that uses @@
+Antichains
@@ Property / describes a project that uses: Antichains / 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-662-54069-5_8
+Normal rank
@@ Property / OpenAlex ID @@
+W2557666292
@@ Property / OpenAlex ID: W2557666292 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing-machines and the Entscheidungsproblem
@@ Property / cites work: Turing-machines and the Entscheidungsproblem / rank @@
+Normal rank
@@ Property / cites work @@
+Antichains for the Automata-Based Approach to Model-Checking
+Normal rank
@@ Property / cites work @@
+Random Models for Evaluating Efficient Büchi Universality Checking
+Normal rank
@@ Property / cites work @@
+Efficient Büchi Universality Checking
@@ Property / cites work: Efficient Büchi Universality Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Büchi Complementation and Size-Change Termination
+Normal rank
@@ Property / cites work @@
+Markov Graphs
@@ Property / cites work: Markov Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The transitive closure of a random digraph
@@ Property / cites work: The transitive closure of a random digraph / 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 @@
+Antichains: A New Algorithm for Checking Universality of Finite Automata
+Normal rank
@@ Property / cites work @@
+State of Büchi Complementation
@@ Property / cites work: State of Büchi Complementation / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced Ramsey-Based Büchi Automata Inclusion Testing
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Experimental Evaluation of Classical Automata Constructions
+Normal rank
@@ Property / cites work @@
+The Büchi Complementation Saga
@@ Property / cites work: The Büchi Complementation Saga / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5224494