Jamroga, Wojciech

12 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 2025 Strategies, Credences, and Shannon Entropy: Reasoning About Strategic Uncertainty in Stochastic Environments Wojciech Jamroga, Michal Tomasz Godziszewski, Aniello Murano

IJCAI 2023 Practical Model Reductions for Verification of Multi-Agent Systems Wojciech Jamroga, Yan Kim

IJCAI 2023 Scalable Verification of Strategy Logic Through Three-Valued Abstraction Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano

JAIR 2020 Towards Partial Order Reductions for Strategic Ability Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz

IJCAI 2019 Some Things Are Easier for the Dumb and the Bright Ones (Beware the Average!) Wojciech Jamroga, Michal Knapik

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

JAIR 2019 Timed ATL: Forget Memory, Just Count Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek

IJCAI 2011 Agents, Actions and Goals in Dynamic Environments Peter Novák, Wojciech Jamroga

IJCAI 2011 Alternating Epistemic Mu-Calculus Nils Bulling, Wojciech Jamroga

IJCAI 2011 Comparing Variants of Strategic Ability Wojciech Jamroga, Nils Bulling