English
Related papers

Related papers: Formal Verification of Diffusion Auctions

200 papers

This paper presents a multi-agent reinforcement learning algorithm to represent strategic bidding behavior in freight transport markets. Using this algorithm, we investigate whether feasible market equilibriums arise without any central…

Machine Learning · Computer Science 2021-02-19 Wouter van Heeswijk

Given a sample of bids from independent auctions, this paper examines the question of inference on auction fundamentals (e.g. valuation distributions, welfare measures) under weak assumptions on information structure. The question is…

Econometrics · Economics 2018-03-20 Vasilis Syrgkanis , Elie Tamer , Juba Ziani

Auction theory traditionally assumes that bidders' valuation distributions are known to the auctioneer, such as in the celebrated, revenue-optimal Myerson auction. However, this theory does not describe how the auctioneer comes to possess…

Computer Science and Game Theory · Computer Science 2014-07-11 Avrim Blum , Yishay Mansour , Jamie Morgenstern

Resource allocation is considered for cooperative transmissions in multiple-relay wireless networks. Two auction mechanisms, SNR auctions and power auctions, are proposed to distributively coordinate the allocation of power among multiple…

Information Theory · Computer Science 2016-11-15 Jianwei Huang , Zhu Han , Mung Chiang , H. Vincent Poor

In this paper we define a new auction, called the Draw auction. It is based on the implementation of a draw when a minimum price of sale is not reached. We find that a Bayesian Nash equilibrium is reached in the Draw auction when each…

Computer Science and Game Theory · Computer Science 2024-03-14 Javier Castro , Rosa Espínola , Inmaculada Gutiérrez , Daniel Gómez

As computational agents are developed for increasingly complicated e-commerce applications, the complexity of the decisions they face demands advances in artificial intelligence techniques. For example, an agent representing a seller in an…

Artificial Intelligence · Computer Science 2017-01-08 W. P. Birmingham , E. H. Durfee , S. Park

Consider the problem of allocating goods to buyers through an auction. An auction is efficient if the resulting allocation maximizes total welfare, conditional on the information available. If buyers have private values, the…

Computer Science and Game Theory · Computer Science 2018-05-23 Andrei Ciupan

We introduce a dynamic mechanism design problem in which the designer wants to offer for sale an item to an agent, and another item to the same agent at some point in the future. The agent's joint distribution of valuations for the two…

Computer Science and Game Theory · Computer Science 2023-05-22 Christos Papadimitriou , George Pierrakos , Christos-Alexandros Psomas , Aviad Rubinstein

Firms (businesses, service providers, entertainment organizations, political parties, etc.) advertise on social networks to draw people's attention and improve their awareness of the brands of the firms. In all such cases, the competitive…

Computer Science and Game Theory · Computer Science 2026-03-17 Sayantika Mandal , Harman Agrawal , Swaprava Nath

Humans engage in informal debates on a daily basis. By expressing their opinions and ideas in an argumentative fashion, they are able to gain a deeper understanding of a given problem and in some cases, find the best possible course of…

Logic in Computer Science · Computer Science 2019-12-13 Ria Jha , Francesco Belardinelli , Francesca Toni

We introduce draft auctions, which is a sequential auction format where at each iteration players bid for the right to buy items at a fixed price. We show that draft auctions offer an exponential improvement in social welfare at equilibrium…

Computer Science and Game Theory · Computer Science 2013-11-13 Nikhil R. Devanur , Jamie Morgenstern , Vasilis Syrgkanis

In this paper, we consider the competitive diffusion game, and study the existence of its pure-strategy Nash equilibrium when defined over general undirected networks. We first determine the set of pure-strategy Nash equilibria for two…

Computer Science and Game Theory · Computer Science 2015-06-09 Seyed Rasoul Etesami , Tamer Basar

Cr\'emer and McLean [1985] showed that, when buyers' valuations are drawn from a correlated distribution, an auction with full knowledge on the distribution can extract the full social surplus. We study whether this phenomenon persists when…

Computer Science and Game Theory · Computer Science 2014-06-09 Hu Fu , Nima Haghpanah , Jason Hartline , Robert Kleinberg

Bid shading has become a standard practice in the digital advertising industry, in which most auctions for advertising (ad) opportunities are now of first price type. Given an ad opportunity, performing bid shading requires estimating not…

Computer Science and Game Theory · Computer Science 2024-10-22 Yanlin Qu , Ravi Kant , Yan Chen , Brendan Kitts , San Gultekin , Aaron Flores , Jose Blanchet

We consider the practical and classical setting where the seller is using an exploration stage to learn the value distributions of the bidders before running a revenue-maximizing auction in a exploitation phase. In this two-stage process,…

Computer Science and Game Theory · Computer Science 2019-05-31 Clément Calauzènes , Thomas Nedelec , Vianney Perchet , Noureddine El Karoui

We study the design of mechanisms -- e.g., auctions -- when the designer does not control information flows between mechanism participants. A mechanism equilibrium is leakage-proof if no player conditions their actions on leaked…

Theoretical Economics · Economics 2025-11-04 Samuel Häfner , Marek Pycia , Haoyuan Zeng

We consider a market where a seller sells multiple units of a commodity in a social network. Each node/buyer in the social network can only directly communicate with her neighbours, i.e. the seller can only sell the commodity to her…

Computer Science and Game Theory · Computer Science 2019-03-08 Dengji Zhao , Bin Li , Junping Xu , Dong Hao , Nicholas R. Jennings

The design of revenue-maximizing auctions with strong incentive guarantees is a core concern of economic theory. Computational auctions enable online advertising, sourcing, spectrum allocation, and myriad financial markets. Analytic…

Computer Science and Game Theory · Computer Science 2020-10-14 Kevin Kuo , Anthony Ostuni , Elizabeth Horishny , Michael J. Curry , Samuel Dooley , Ping-yeh Chiang , Tom Goldstein , John P. Dickerson

In mechanism design, it is challenging to design the optimal auction with correlated values in general settings. Although value distribution can be further exploited to improve revenue, the complex correlation structure makes it hard to…

Computer Science and Game Theory · Computer Science 2023-02-21 Da Huo , Zhilin Zhang , Zhenzhe Zheng , Chuan Yu , Jian Xu , Fan Wu

Natural language semantics has recently sought to combine the complementary strengths of formal and distributional approaches to meaning. More specifically, proposals have been put forward to augment formal semantic machinery with…

Computation and Language · Computer Science 2021-03-03 Noortje J. Venhuizen , Petra Hendriks , Matthew W. Crocker , Harm Brouwer