Extracting Winning Strategies in Update Games (Q3091450): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1565610892
@@ Property / OpenAlex ID: W1565610892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474121
@@ Property / cites work: Q4474121 / rank @@
+Normal rank
@@ Property / cites work @@
+Update games and update networks
@@ Property / cites work: Update games and update networks / rank @@
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Q4414504
@@ Property / cites work: Q4414504 / 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 @@
+McNaughton games and extracting strategies for concurrent programs
+Normal rank
@@ Property / cites work @@
+Q4010366
@@ Property / cites work: Q4010366 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+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 @@
+Q4804886
@@ Property / cites work: Q4804886 / rank @@
+Normal rank