arXiv 2511.08765
Formal Verification of Diffusion Auctions
By Rustam Galimullin, Munyque Mittelmann, et al.
Published 2025-11-11
Wiki summary
Explore the paper's summary, context, and related research on Papiers.
In diffusion auctions, sellers can leverage an underlying social network to broaden participation, thereby increasing their potential revenue. Specifically, sellers can incentivise participants in their auction to diffuse information about the auction through the network. While numerous variants of such auctions have been recently studied in the literature, the formal verification and strategic reasoning perspective…