Uniform strategies, rational relations and jumping automata (Q2346407): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3083813
@@ Property / cites work: Q3083813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy construction for parity games with imperfect information
+Normal rank
@@ Property / cites work @@
+Q3165948
@@ Property / cites work: Q3165948 / rank @@
+Normal rank
@@ Property / cites work @@
+Information tracking in games on graphs
@@ Property / cites work: Information tracking in games on graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Counter Parity Games
@@ Property / cites work: Solving Counter Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737212
@@ Property / cites work: Q4737212 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems among the main subfamilies of rational relations
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+On Relations Defined by Generalized Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronized rational relations of finite and infinite words
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning about knowledge and time. I: Lower bounds
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Module checking
@@ Property / cites work: Module checking / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient minimization of deterministic weak \(\omega\)-automata
+Normal rank
@@ Property / cites work @@
+Q2908843
@@ Property / cites work: Q2908843 / rank @@
+Normal rank
@@ Property / cites work @@
+Jumping Automata for Uniform Strategies
@@ Property / cites work: Jumping Automata for Uniform Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+A GENERAL NOTION OF UNIFORM STRATEGIES
@@ Property / cites work: A GENERAL NOTION OF UNIFORM STRATEGIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4964721
@@ Property / cites work: Q4964721 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501688
@@ Property / cites work: Q4501688 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating automata on infinite trees
@@ Property / cites work: Alternating automata on infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509047
@@ Property / cites work: Q3509047 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for multiplayer noncooperative games of incomplete information
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous Omega-Regular Games with Partial Information
+Normal rank
@@ Property / cites work @@
+The complexity of two-player games of incomplete information
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of concurrent programs: The automata-theoretic framework
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank