Wojciech Jamroga

7 papers in the IJCAI proceedings

IJCAI 2025

Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models

with Damian Kurpiewski, Yan Kim

doi:10.24963/ijcai.2025/17

Details PDF

NatSTV: Towards Verification of Natural Strategic Ability

with Mateusz Kamiński, Damian Kurpiewski

doi:10.24963/ijcai.2025/1265

Details PDF

Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments

with Michał Tomasz Godziszewski, Aniello Murano

doi:10.24963/ijcai.2025/15

Details PDF

IJCAI 2023

Practical Model Reductions for Verification of Multi-Agent Systems

with Yan Kim

doi:10.24963/ijcai.2023/834

Details PDF

Scalable Verification of Strategy Logic through Three-Valued Abstraction

with Francesco Belardinelli, Angelo Ferrando, Vadim Malvone, Aniello Murano

doi:10.24963/ijcai.2023/6

Details PDF

IJCAI 2019

Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!)

with Michał Knapik

doi:10.24963/ijcai.2019/240

Details PDF

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies

with Francesco Belardinelli, Damian Kurpiewski, Vadim Malvone, Aniello Murano

doi:10.24963/ijcai.2019/13

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings