Galimullin, R.; Mittelmann, M.; Perrussel, L. Formal Verification of Diffusion Auctions. AAAI 2026, 40, 19099-19107.