Proceedings

Wojciech Jamroga

Institute of Computer Science , Polish Academy of Sciences; Nicolaus Copernicus University in Toruń , Poland

10 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

IJCAI 2011

Agents, Actions and Goals in Dynamic Environments
with Peter Novák
doi:10.5591/978-1-57735-516-8/IJCAI11-062
Details PDF
Alternating Epistemic Mu-Calculus
with Nils Bulling
doi:10.5591/978-1-57735-516-8/IJCAI11-030
Details PDF
Comparing Variants of Strategic Ability
with Nils Bulling
doi:10.5591/978-1-57735-516-8/IJCAI11-053
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards