Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (Q516248): Difference between revisions

@@ Property / cites work @@
+Sequentiality vs. concurrency in games and logic
@@ Property / cites work: Sequentiality vs. concurrency in games and logic / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic concurrent strategies
@@ Property / cites work: Deterministic concurrent strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and Boolean formulae: a certification perspective of DQBF
+Normal rank
@@ Property / cites work @@
+Dependencies between players in Boolean games
@@ Property / cites work: Dependencies between players in Boolean games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385519
@@ Property / cites work: Q4385519 / rank @@
+Normal rank
@@ Property / cites work @@
+The Winning Ways of Concurrent Games
@@ Property / cites work: The Winning Ways of Concurrent Games / rank @@
+Normal rank
@@ Property / cites work @@
+Imperfect Information in Logic and Concurrent Games
+Normal rank
@@ Property / cites work @@
+Q4489064
@@ Property / cites work: Q4489064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+Concurrent Logic Games on Partial Orders
@@ Property / cites work: Concurrent Logic Games on Partial Orders / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibria of concurrent games on event structures
+Normal rank
@@ Property / cites work @@
+Q3395518
@@ Property / cites work: Q3395518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732647
@@ Property / cites work: Q5732647 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of domino games and hhp-bisimilarity.
+Normal rank
@@ Property / cites work @@
+Multi-agent influence diagrams for representing and solving games.
+Normal rank
@@ Property / cites work @@
+Q3077957
@@ Property / cites work: Q3077957 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Boolean Formula Games
@@ Property / cites work: Weighted Boolean Formula Games / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous Games: Innocence Without Alternation
@@ Property / cites work: Asynchronous Games: Innocence Without Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Models for concurrency: Towards a classification
@@ Property / cites work: Models for concurrency: Towards a classification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for multiplayer noncooperative games of incomplete information
+Normal rank
@@ Property / cites work @@
+Incentive engineering for Boolean games
@@ Property / cites work: Incentive engineering for Boolean games / rank @@
+Normal rank