Rustam Galimullin

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

DBLP profile ↗ORCID search ↗

Venues

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

Frequent coauthors

Munyque Mittelmann

×3

Aniello Murano

×2

Maksim Gladyshev

×2

Laurent Perrussel

×1

Wojciech Jamroga

×1

Damian Kurpiewski

×1

Vadim Malvone

×1

Hermine Grosinger

×1

Nima Motamed

×1

Davide Catta

×1

Vitaliy Dolgorukov

×1

Louwe B. Kuijer

×1

Papers

Formal Verification of Diffusion Auctions
AAAI 2026 · Rustam Galimullin,
Munyque Mittelmann
,
Laurent Perrussel
Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking
KR 2026 · Rustam Galimullin,
Wojciech Jamroga
,
Damian Kurpiewski
,
Vadim Malvone
,
Aniello Murano
I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
KR 2026 · Rustam Galimullin,
Hermine Grosinger
,
Munyque Mittelmann
Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems
AAMAS 2025 · Rustam Galimullin,
Maksim Gladyshev
,
Munyque Mittelmann
,
Nima Motamed
First-Order Coalition Logic
IJCAI 2025 ·
Davide Catta
, Rustam Galimullin,
Aniello Murano
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
AAMAS 2024 ·
Vitaliy Dolgorukov
, Rustam Galimullin,
Maksim Gladyshev
Synthesizing Social Laws with ATL Conditions
AAMAS 2024 · Rustam Galimullin,
Louwe B. Kuijer