Damian Kurpiewski

3 papers in the IJCAI proceedings

IJCAI 2025

Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models

with Wojciech Jamroga, Yan Kim

doi:10.24963/ijcai.2025/17

Details PDF

NatSTV: Towards Verification of Natural Strategic Ability

with Mateusz Kamiński, Wojciech Jamroga

doi:10.24963/ijcai.2025/1265

Details PDF

IJCAI 2019

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies

with Francesco Belardinelli, Wojciech Jamroga, Vadim Malvone, Aniello Murano

doi:10.24963/ijcai.2019/13

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings