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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-04081-8_14
+Normal rank
@@ Property / OpenAlex ID @@
+W1581088344
@@ Property / OpenAlex ID: W1581088344 / rank @@
+Normal rank
@@ 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