Incentive Engineering for Concurrent Games (Q6199620): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Lexicographic preferences for predictive modeling of human decision making: a new machine learning method with an application in accounting
+Normal rank
@@ Property / cites work @@
+Norm-based mechanism design
@@ Property / cites work: Norm-based mechanism design / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Synthesis
@@ Property / cites work: Rational Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about equilibria in game-like concurrent systems
+Normal rank
@@ Property / cites work @@
+Equilibria for games with combined qualitative and quantitative objectives
+Normal rank
@@ Property / cites work @@
+Q5875383
@@ Property / cites work: Q5875383 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated temporal equilibrium analysis: verification and synthesis of multi-player games
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptive Incentive Design
@@ Property / cites work: Adaptive Incentive Design / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+The Complexity of Nash Equilibria in Limit-Average Games
+Normal rank
@@ Property / cites work @@
+Incentive engineering for Boolean games
@@ Property / cites work: Incentive engineering for Boolean games / rank @@
+Normal rank