Predicate Abstraction with Under-approximation Refinement

Preference aggregation theory without acyclicity: The core without majority dissatisfaction

Preference Games and Personalized Equilibria, with Applications to Fractional BGP

Price of Anarchy for Greedy Auctions

Price Updating in Combinatorial Prediction Markets with Bayesian Networks

Pricing Randomized Allocations

Pricing, Competition, and Routing for Selfish and Strategic Nodes in Multi-hop Relay Networks

Privacy Auctions for Inner Product Disclosures

Privacy-Aware Mechanism Design

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