Privacy-Preserving English Auction Protocol with Round Efficiency
Probabilistic Systems with LimSup and LimInf Objectives
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification
Proceedings International Workshop on Interactions, Games and Protocols
Proceedings Second International Workshop on Interactions, Games and Protocols
Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets
Public Announcements in Strategic Games with Arbitrary Strategy Sets
Pure Nash Equilibria: Complete Characterization of Hard and Easy Graphical Games
Pure Nash Equilibria: Hard and Easy Games
Pure Saddle Points and Symmetric Relative Payoff Games
QoS-Aware Joint Policies in Cognitive Radio Networks
Qualitative Reachability in Stochastic BPA Games
Quantitative Fairness Games
Quantitative Games on Probabilistic Timed Automata
Quantum information approach to normal representation of extensive games
Quantum information approach to the ultimatum game
Quantum realization of extensive games
Quantum Strategies Win in a Defector-Dominated Population
Quasi-Proportional Mechanisms: Prior-free Revenue Maximization
Queue-length Variations In A Two-Restaurant Problem