Measuring Permissivity in Finite Games (Q3184674): Difference between revisions

@@ Property / cites work @@
+Permissive strategies: from parity games to safety games
+Normal rank
@@ Property / cites work @@
+Q5501249
@@ Property / cites work: Q5501249 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Alternating-Time Temporal Logic
@@ Property / cites work: Timed Alternating-Time Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Model-Checking Timed ATL for Durational Concurrent Game Structures
+Normal rank
@@ Property / cites work @@
+Q4804886
@@ Property / cites work: Q4804886 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank