Damian Kurpiewski

3 papers · 2019–2025 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (6) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (11)

Conferences

IJCAI (3)

Top co-authors

Wojciech Jamroga (3) Mateusz Kamiński (1) Yan Kim (1) Francesco Belardinelli (1) Aniello Murano (1) Vadim Malvone (1)

Keywords

model checking (3) strategic reasoning (2) imperfect information (2) multi-agent system (1) strategic ability (1) game theory (1) fixpoint approximation (1) formal verification (1) temporal logic (1)

Papers

Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models IJCAI 2025

NatSTV: Towards Verification of Natural Strategic Ability IJCAI 2025

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies IJCAI 2019