Formal Verification of Diffusion Auctions.

Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel

Browse the full AAAI paper archive.