7 citations · 15 across the 9 of their papers we have counts for
5 papers · 1 filter
Formal Verification of Diffusion Auctions
Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel
In diffusion auctions, sellers can leverage an underlying social network to broaden participation, thereby increasing their potential revenue. Specifically, sellers can incentivise…
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone +3
In online advertising, search engines sell ad placements for keywords continuously through auctions. This problem can be seen as an infinitely repeated game since the auction is ex…
A General Framework for the Logical Representation of Combinatorial Exchange Protocols
Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel
The goal of this paper is to propose a framework for representing and reasoning about the rules governing a combinatorial exchange. Such a framework is at first interest as long as…
Strategic disclosure of opinions on a social network
Umberto Grandi, Emiliano Lorini, Laurent Perrussel
We study the strategic aspects of social influence in a society of agents linked by a trust network, introducing a new class of games called games of influence. A game of influence…
Decomposing Truthful and Competitive Online Double Auctions
Dengji Zhao, Dongmo Zhang, Laurent Perrussel
In this paper, we study online double auctions, where multiple sellers and multiple buyers arrive and depart dynamically to exchange one commodity. We show that there is no determi…