Rustam Galimullin

2 accepted papers

2026

Formal Verification of Diffusion Auctions

Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel

AAAI 2026technical

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

Cited by 0 Source ↗PDF ↗Scholar ↗

2025

First-Order Coalition Logic

Davide Catta, Rustam Galimullin, Aniello Murano

IJCAI 2025

We introduce First-Order Coalition Logic (FOCL), which combines key intuitions behind Coalition Logic (CL) and Strategy Logic (SL). Specifically, FOCL allows for arbitrary quantification over actions of agents. FOCL is interesting for several reasons. First, we show that FOCL is strictly more expres

Cited by 0 Source ↗PDF ↗Scholar ↗