A Defense Model for Games with Incomplete Information. - Wojciech Jamroga (KI/ÖGAI, 2001)

Safer Decisions Against A Dynamic Opponent. - Wojciech Jamroga (IIS, 2003)

On Obligations and Abilities. - Wojciech Jamroga; Wiebe van der Hoek; Michael J. Wooldridge (DEON, 2004)

Strategic Planning through Model Checking of ATL Formulae. - Wojciech Jamroga (ICAISC, 2004)

Agents that Know How to Play. - Wojciech Jamroga; Wiebe van der Hoek (Fundam. Informaticae, 2004)

Comparing Semantics of Logics for Multi-Agent Systems. - Valentin Goranko; Wojciech Jamroga (Synth., 2004)

A logic for strategic reasoning. - Wiebe van der Hoek; Wojciech Jamroga; Michael J. Wooldridge (AAMAS, 2005)

Turning Game Models Turn-Based for Model Checking Properties of Agents. - Wojciech Jamroga; Jürgen Dix (BNAIC, 2005)

Do Agents Make Model Checking Explode (Computationally)? - Wojciech Jamroga; Jürgen Dix (CEEMAS, 2005)

Intentions and Strategies in Game-Like Scenarios. - Wojciech Jamroga; Wiebe van der Hoek; Michael J. Wooldridge (EPIA, 2005)

Model Checking Strategic Abilities of Agents Under Incomplete Information. - Wojciech Jamroga; Jürgen Dix (ICTCS, 2005)

What agents can achieve under incomplete information. - Wojciech Jamroga; Thomas Ågotnes (AAMAS, 2006)

Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. - Wojciech Jamroga; Jürgen Dix (EUMAS, 2006)

On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account. - Wojciech Jamroga (KI, 2006)

Expressing and Verifying Temporal and Structural Properties of Mobile Agents. - Marek A. Bednarczyk; Wojciech Jamroga; Wieslaw Pawlowski (Fundam. Informaticae, 2006)

Agents, beliefs, and plausible behavior in a temporal setting. - Nils Bulling; Wojciech Jamroga (AAMAS, 2007)

Modular interpreted systems. - Wojciech Jamroga; Thomas Ågotnes (AAMAS, 2007)

A framework for reasoning about rational agents. - Wojciech Jamroga; Nils Bulling (AAMAS, 2007)

A Logic for Reasoning about Rational Agents. - Wojciech Jamroga; Nils Bulling (CLIMA, 2007)

Alternating-time temporal logics with irrevocable strategies. - Thomas Ågotnes; Valentin Goranko; Wojciech Jamroga (TARK, 2007)

Constructive knowledge: what agents can achieve under imperfect information. - Wojciech Jamroga; Thomas Ågotnes (J. Appl. Non Class. Logics, 2007)

AAMAS 2007. - Wojciech Jamroga (Künstliche Intell., 2007)

Towards a theory of intention revision. - Wiebe van der Hoek; Wojciech Jamroga; Michael J. Wooldridge (Synth., 2007)

A temporal logic for Markov chains. - Wojciech Jamroga (AAMAS (2), 2008)

Easy Yet Hard: Model Checking Strategies of Agents. - Wojciech Jamroga (CLIMA, 2008)

Knowledge and Strategic Ability for Model Checking: A Refined Approach. - Wojciech Jamroga (MATES, 2008)

A Temporal Logic for Stochastic Multi-Agent Systems. - Wojciech Jamroga (PRIMA, 2008)

Reasoning about temporal properties of rational play. - Nils Bulling; Wojciech Jamroga; Jürgen Dix (Ann. Math. Artif. Intell., 2008)

Model Checking Abilities of Agents: A Closer Look. - Wojciech Jamroga; Jürgen Dix (Theory Comput. Syst., 2008)

Rational play and rational beliefs under uncertainty. - Nils Bulling; Wojciech Jamroga (AAMAS (1), 2009)

Code patterns for agent-oriented programming. - Peter Novák 001; Wojciech Jamroga (AAMAS (1), 2009)

Description logic for coalitions. - Inanç Seylan; Wojciech Jamroga (AAMAS (1), 2009)

Coalition Description Logic with Individuals. - Inanç Seylan; Wojciech Jamroga (M4M, 2009)

What Agents Can Probably Enforce. - Nils Bulling; Wojciech Jamroga (Fundam. Informaticae, 2009)

Reasoning about strategies of multi-agent programs. - Mehdi Dastani; Wojciech Jamroga (AAMAS, 2010)

Verifying agents with memory is harder than it seemed. - Nils Bulling; Wojciech Jamroga (AI Commun., 2010)

Doubtful Deviations and Farsighted Play. - Wojciech Jamroga; Matthijs Melissen (EPIA, 2011)

Specification and Verification of Multi-Agent Systems. - Wojciech Jamroga; Wojciech Penczek (ESSLLI, 2011)

Alternating Epistemic Mu-Calculus. - Nils Bulling; Wojciech Jamroga (IJCAI, 2011)

Comparing Variants of Strategic Ability. - Wojciech Jamroga; Nils Bulling (IJCAI, 2011)

Agents, Actions and Goals in Dynamic Environments. - Peter Novák 001; Wojciech Jamroga (IJCAI, 2011)

Fairness in Non-Repudiation Protocols. - Wojciech Jamroga; Sjouke Mauw; Matthijs Melissen (STM, 2011)

Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101). - Jürgen Dix; Wojtek Jamroga; Dov Samet (Dagstuhl Reports, 2011)

Preface. - Hans van Ditmarsch; David Fernández-Duque; Valentin Goranko; Wojtek Jamroga; Manuel Ojeda-Aciego (M4M/LAMAS, 2011)

Foreword. - Valentin Goranko; Wojciech Jamroga (J. Appl. Non Class. Logics, 2011)

State and path coalition effectivity models for logics of multi-player games. - Valentin Goranko; Wojciech Jamroga (AAMAS, 2012)

Distance-based rules for weighted judgment aggregation. - Marija Slavkovik 001; Wojciech Jamroga (AAMAS, 2012)

Concepts, Agents, and Coalitions in Alternating Time. - Wojciech Jamroga (ECAI, 2012)

Some Complexity Results for Distance-Based Judgment Aggregation. - Wojciech Jamroga; Marija Slavkovik 001 (Australasian Conference on Artificial Intelligence, 2013)

Defendable Security in Interaction Protocols. - Wojciech Jamroga; Matthijs Melissen; Henning Schnoor (PRIMA, 2013)

Strategic games and truly playable effectivity functions. - Valentin Goranko; Wojciech Jamroga; Paolo Turrini (Auton. Agents Multi Agent Syst., 2013)

Modularity and Openness in Modeling Multi-Agent Systems. - Wojciech Jamroga; Artur Meski; Maciej Szreter (GandALF, 2013)

Agents with truly perfect recall in alternating-time temporal logic. - Nils Bulling; Wojciech Jamroga; Matei Popovici (AAMAS, 2014)

On module checking and strategies. - Wojciech Jamroga; Aniello Murano (AAMAS, 2014)

Synthesis and Verification of Uniform Strategies for Multi-agent Systems. - Jerzy Pilecki; Marek A. Bednarczyk; Wojciech Jamroga (CLIMA, 2014)

ATL* With Truly Perfect Recall: Expressivity and Validities. - Nils Bulling; Wojciech Jamroga; Matei Popovici (ECAI, 2014)

Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall. - Jerzy Pilecki; Marek A. Bednarczyk; Wojciech Jamroga (IEEE Conf. on Intelligent Systems (1), 2014)

Multi-agency Is Coordination and (Limited) Communication. - Piotr Kazmierczak; Thomas Ågotnes; Wojciech Jamroga (PRIMA, 2014)

Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. - Nils Bulling; Wojciech Jamroga (Auton. Agents Multi Agent Syst., 2014)

On Defendability of Security Properties. - Wojciech Jamroga; Matthijs Melissen; Henning Schnoor (SR, 2014)

Module Checking of Strategic Ability. - Wojciech Jamroga; Aniello Murano (AAMAS, 2015)

Module Checking for Uncertain Agents. - Wojciech Jamroga; Aniello Murano (PRIMA, 2015)

Strategic Noninterference. - Wojciech Jamroga; Masoud Tabatabaei (SEC, 2015)

Approximating Strategic Abilities under Imperfect Information: a Naive Approach. - Wojciech Jamroga; Michal Knapik; Damian Kurpiewski (CoRR, 2015)

Logics for Reasoning About Strategic Abilities in Multi-player Games. - Nils Bulling; Valentin Goranko; Wojciech Jamroga (Models of Strategic Reasoning, 2015)

Multi-Valued Verification of Strategic Ability. - Wojciech Jamroga; Beata Konikowska; Wojciech Penczek (AAMAS, 2016)

Collaborative embedded systems - a case study. - Bernd-Holger Schlingloff; Henry Stubert; Wojciech Jamroga (EITEC@CPSWeek, 2016)

Iterative Judgment Aggregation. - Marija Slavkovik 001; Wojciech Jamroga (ECAI, 2016)

Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. - Masoud Tabatabaei; Wojciech Jamroga; Peter Y. A. Ryan (PrAISe@ECAI, 2016)

Information Security as Strategic (In)effectivity. - Wojciech Jamroga; Masoud Tabatabaei (STM, 2016)

Preventing Coercion in E-Voting: Be Open and Commit. - Wojciech Jamroga; Masoud Tabatabaei (E-VOTE-ID, 2016)

State and path coalition effectivity models of concurrent multi-player games. - Valentin Goranko; Wojciech Jamroga (Auton. Agents Multi Agent Syst., 2016)

An Approach to Model Checking ATLir. - Wojciech Jamroga; Michal Knapik; Damian Kurpiewski (CoRR, 2016)

A Deliberation Procedure for Judgment Aggregation Problems. - Marija Slavkovik 001; Wojciech Jamroga (CoRR, 2016)

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. - Francesco Belardinelli; Rodica Condurache; Catalin Dima; Wojciech Jamroga; Andrew V. Jones (AAMAS, 2017)

Fixpoint Approximation of Strategic Abilities under Imperfect Information. - Wojciech Jamroga; Michal Knapik; Damian Kurpiewski (AAMAS, 2017)

Reasoning about Natural Strategic Ability. - Wojciech Jamroga; Vadim Malvone; Aniello Murano (AAMAS, 2017)

SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems. - Jerzy Pilecki; Marek A. Bednarczyk; Wojciech Jamroga (J. Log. Comput., 2017)

Towards Partial Order Reductions for Strategic Ability. - Wojciech Jamroga; Wojciech Penczek; Piotr Dembinski; Antoni W. Mazurkiewicz (AAMAS, 2018)

Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper). - Wojciech Jamroga (TIME, 2018)

Model Checking the SELENE E-Voting Protocol in Multi-agent Logics. - Wojciech Jamroga; Michal Knapik; Damian Kurpiewski (E-Vote-ID, 2018)

Accumulative knowledge under bounded resources. - Wojciech Jamroga; Masoud Tabatabaei (J. Log. Comput., 2018)

Natural Strategic Ability under Imperfect Information. - Wojciech Jamroga; Vadim Malvone; Aniello Murano (AAMAS, 2019)

STV: Model Checking for Strategies under Imperfect Information. - Damian Kurpiewski; Wojciech Jamroga; Michal Knapik (AAMAS, 2019)

Strategic Responsibility Under Imperfect Information. - Vahid Yazdanpanah; Mehdi Dastani; Wojciech Jamroga; Natasha Alechina; Brian Logan 001 (AAMAS, 2019)

On Domination and Control in Strategic Ability. - Damian Kurpiewski; Michal Knapik; Wojciech Jamroga (BNAIC/BENELEARN, 2019)

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. - Francesco Belardinelli; Wojciech Jamroga; Damian Kurpiewski; Vadim Malvone; Aniello Murano (IJCAI, 2019)

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

Risk-Limiting Tallies. - Wojciech Jamroga; Peter B. Rønne; Peter Y. A. Ryan; Philip B. Stark (E-VOTE-ID, 2019)

Approximate verification of strategic abilities under imperfect information. - Wojciech Jamroga; Michal Knapik; Damian Kurpiewski; Lukasz Mikulski (Artif. Intell., 2019)

Natural strategic ability. - Wojciech Jamroga; Vadim Malvone; Aniello Murano (Artif. Intell., 2019)

Timed ATL: Forget Memory, Just Count. - Michal Knapik; Étienne André; Laure Petrucci; Wojciech Jamroga; Wojciech Penczek (J. Artif. Intell. Res., 2019)

Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. - Nils Bulling; Wojciech Jamroga; Matei Popovici (ACM Trans. Comput. Log., 2019)

MsATL: A Tool for SAT-Based ATL Satisfiability Checking. - Artur Niewiadomski 001; Magdalena Kacprzak; Damian Kurpiewski; Michal Knapik; Wojciech Penczek; Wojciech Jamroga (AAMAS, 2020)

Towards Model Checking of Voting Protocols in Uppaal. - Wojciech Jamroga; Yan Kim; Damian Kurpiewski; Peter Y. A. Ryan (E-VOTE-ID, 2020)

Natural Strategic Abilities in Voting Protocols. - Wojciech Jamroga; Damian Kurpiewski; Vadim Malvone (STAST, 2020)

Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them. - Wojciech Jamroga; Wojciech Penczek; Teofil Sidoruk (CoRR, 2020)

Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. - Wojciech Jamroga; Yan Kim; Damian Kurpiewski; Peter Y. A. Ryan (CoRR, 2020)

A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips. - Wojciech Jamroga; David Mestel; Peter B. Rønne; Peter Y. A. Ryan; Marjan Skrobot (CoRR, 2020)

Multi-valued Verification of Strategic Ability. - Wojciech Jamroga; Beata Konikowska; Damian Kurpiewski; Wojciech Penczek (Fundam. Informaticae, 2020)

Towards Partial Order Reductions for Strategic Ability. - Wojciech Jamroga; Wojciech Penczek; Teofil Sidoruk; Piotr Dembinski; Antoni W. Mazurkiewicz (J. Artif. Intell. Res., 2020)

Strategic Abilities of Asynchronous Agents: Semantic Side Effects. - Wojciech Jamroga; Wojciech Penczek; Teofil Sidoruk (AAMAS, 2021)

STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. - Damian Kurpiewski; Witold Pazderski; Wojciech Jamroga; Yan Kim (AAMAS, 2021)

A Declaration of Software Independence. - Wojciech Jamroga; Peter Y. A. Ryan; Steve Schneider; Carsten Schürmann; Philip B. Stark (Protocols, Strands, and Logic, 2021)

Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. - Wojciech Jamroga; Wojciech Penczek; Teofil Sidoruk (KR, 2021)

A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of Requirements. - Wojciech Jamroga (CoRR, 2021)

Convergence Voting: From Pairwise Comparisons to Consensus. - Gergei Bana; Wojciech Jamroga; David Naccache; Peter Y. A. Ryan (CoRR, 2021)

Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. - Francesco Belardinelli; Rodica Condurache; Catalin Dima; Wojciech Jamroga; Michal Knapik (Inf. Comput., 2021)

Verification of Multi-Agent Properties in Electronic Voting: A Case Study. - Wojtek Jamroga; Lukasz Masko; Lukasz Mikulski; Witold Pazderski; Wojciech Penczek; Teofil Sidoruk; Damian Kurpiewski (AiML, 2022)

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. - Francesco Belardinelli; Wojtek Jamroga; Vadim Malvone; Munyque Mittelmann; Aniello Murano; Laurent Perrussel (AAMAS, 2022)

Towards Assume-Guarantee Verification of Strategic Ability. - Lukasz Mikulski; Wojciech Jamroga; Damian Kurpiewski (AAMAS, 2022)

STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. - Damian Kurpiewski; Lukasz Mikulski; Wojciech Jamroga (PRIMA, 2022)

Assume-Guarantee Verification of Strategic Ability. - Lukasz Mikulski; Wojciech Jamroga; Damian Kurpiewski (PRIMA, 2022)

Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. - Yan Kim; Wojciech Jamroga; Peter Y. A. Ryan (STAST, 2022)

STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. - Damian Kurpiewski; Lukasz Mikulski; Wojciech Jamroga (CoRR, 2022)

How to measure usable security: Natural strategies in voting protocols. - Wojciech Jamroga; Damian Kurpiewski; Vadim Malvone (J. Comput. Secur., 2022)

Strategic (Timed) Computation Tree Logic. - Jaime Arias 001; Wojciech Jamroga; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (AAMAS, 2023)

Computationally Feasible Strategies. - Catalin Dima; Wojciech Jamroga (AAMAS, 2023)

Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory. - Masoud Tabatabaei; Wojciech Jamroga (AAMAS, 2023)

Pretty Good Strategies and Where to Find Them. - Wojciech Jamroga; Damian Kurpiewski (EUMAS, 2023)

Pretty Good Strategies for Benaloh Challenge. - Wojciech Jamroga (E-Vote-ID, 2023)

Towards Modelling and Verification of Social Explainable AI. - Damian Kurpiewski; Wojciech Jamroga; Teofil Sidoruk (ICAART (1), 2023)

Scalable Verification of Strategy Logic through Three-Valued Abstraction. - Francesco Belardinelli; Angelo Ferrando 001; Wojciech Jamroga; Vadim Malvone; Aniello Murano (IJCAI, 2023)

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

Strategic Abilities of Forgetful Agents in Stochastic Environments. - Francesco Belardinelli; Wojciech Jamroga; Munyque Mittelmann; Aniello Murano (KR, 2023)

Practical Abstraction for Model Checking of Multi-Agent Systems. - Wojciech Jamroga; Yan Kim (KR, 2023)

Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. - Francesco Belardinelli; Wojtek Jamroga; Munyque Mittelmann; Aniello Murano (AAMAS, 2024)

Playing Quantitative Games Against an Authority: On the Module Checking Problem. - Wojciech Jamroga; Munyque Mittelmann; Aniello Murano; Giuseppe Perelli (AAMAS, 2024)

STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. - Mateusz Kaminski; Damian Kurpiewski; Wojciech Jamroga (AAMAS, 2024)

STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems. - Damian Kurpiewski; Mateusz Kaminski; Wojciech Jamroga (ECAI, 2024)

Intelligo Ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting. - Marie-Laure Zollinger; Peter B. Rønne; Steve Schneider; Peter Y. A. Ryan; Wojciech Jamroga (E-Vote-ID, 2024)

"You Shall Not Abstain!" A Formal Study of Forced Participation. - Wojciech Jamroga; Peter B. Roenne; Yan Kim; Peter Y. A. Ryan (FC Workshops, 2024)

Scalable Verification of Social Explainable AI by Variable Abstraction. - Wojciech Jamroga; Yan Kim; Damian Kurpiewski (ICAART (1), 2024)

Intelligo ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting (long version). - Marie-Laure Zollinger; Peter B. Rønne; Steve Schneider; Peter Y. A. Ryan; Wojtek Jamroga (CoRR, 2024)

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies. - Dilian Gurov; Filip Jamroga; Wojciech Jamroga; Mateusz Kaminski; Damian Kurpiewski; Wojciech Penczek; Teofil Sidoruk (CoRR, 2024)

Probabilistic Timed ATL. - Wojciech Jamroga; Marta Kwiatkowska; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk (AAMAS, 2025)

Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems. - Yan Kim; Wojciech Jamroga; Wojciech Penczek; Laure Petrucci (AAMAS, 2025)