PPaperPicks

Rustam Galimullin

7 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAMAS ×3KR ×2AAAI ×1IJCAI ×1

Frequent coauthors

Davide Catta
DBLP profile ↗ORCID search ↗
×1
Vitaliy Dolgorukov
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Formal Verification of Diffusion Auctions
    AAAI 2026 · Rustam Galimullin
  2. Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking
    KR 2026 · Rustam Galimullin
  3. I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
    KR 2026 · Rustam Galimullin
  4. Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems
    AAMAS 2025 · Rustam Galimullin
  5. First-Order Coalition Logic
    IJCAI 2025 ·
    Davide Catta
    DBLP profile ↗ORCID search ↗
  6. Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
    AAMAS 2024 ·
    Vitaliy Dolgorukov
    DBLP profile ↗ORCID search ↗
  7. Synthesizing Social Laws with ATL Conditions
    AAMAS 2024 · Rustam Galimullin