Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition (Q3189650): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic generators and games for Ltl fragments
+Normal rank
@@ Property / cites work @@
+On the menbership problem for functional and multivalued dependencies in relational databases
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Trading Performance for Stability in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365120
@@ Property / cites work: Q5365120 / rank @@
+Normal rank
@@ Property / cites work @@
+Assume-Guarantee Synthesis
@@ Property / cites work: Assume-Guarantee Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Systems with LimSup and LimInf Objectives
+Normal rank
@@ Property / cites work @@
+Measuring and Synthesizing Systems in Probabilistic Environments
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5501249
@@ Property / cites work: Q5501249 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing Protocols for Digital Contract Signing
+Normal rank
@@ Property / cites work @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Code aware resource management
@@ Property / cites work: Code aware resource management / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-Objective Model Checking of Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+An On-Line Edge-Deletion Problem
@@ Property / cites work: An On-Line Edge-Deletion Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
+Normal rank
@@ Property / cites work @@
+Q3266141
@@ Property / cites work: Q3266141 / rank @@
+Normal rank
@@ Property / cites work @@
+Number of quantifiers is better than number of tape cells
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411830
@@ Property / cites work: Q4411830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525725
@@ Property / cites work: Q4525725 / rank @@
+Normal rank
@@ Property / cites work @@
+From linear time to branching time
@@ Property / cites work: From linear time to branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936149
@@ Property / cites work: Q4936149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365129
@@ Property / cites work: Q5365129 / rank @@
+Normal rank
@@ Property / cites work @@
+AND/OR graph heuristic search methods
@@ Property / cites work: AND/OR graph heuristic search methods / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games played on finite graphs
@@ Property / cites work: Infinite games played on finite graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-Theoretic Model Checking Revisited
@@ Property / cites work: Automata-Theoretic Model Checking Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The Büchi Complementation Saga
@@ Property / cites work: The Büchi Complementation Saga / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank