Kurpiewski, Damian

3 publications

IJCAI 2025 Approximate Verification of Strategic Abilities Under Imperfect Information Using Local Models Damian Kurpiewski, Wojciech Jamroga, Yan Kim

IJCAI 2025 NatSTV: Towards Verification of Natural Strategic Ability Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga

IJCAI 2019 Strategy Logic with Simple Goals: Tractable Reasoning About Strategies Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano