Wojciech Jamroga

167 papers A* 13A 38B 7C 3Misc 5Journal 61Unranked 38

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Strategic (timed) computation tree logic. Auton. Agents Multi Agent Syst. Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2026	J	`jnl`	Towards Probabilistic Strategic Timed CTL. CoRR Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2025	A*	`conf`	Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models. IJCAI Damian Kurpiewski, Wojciech Jamroga, Yan Kim
2025	J	`jnl`	Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic. CoRR Damian Kurpiewski, Jedrzej Michalczyk, Wojciech Jamroga, Jerzy Julian Michalski, Teofil Sidoruk
2025	A*	`conf`	NatSTV: Towards Verification of Natural Strategic Ability. IJCAI Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga
2025	A	`conf`	Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems. AAMAS Yan Kim, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci
2025	J	`jnl`	Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems. CoRR Yan Kim, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci
2025	A	`conf`	Probabilistic Timed ATL. AAMAS Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2025	A*	`conf`	Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments. IJCAI Wojciech Jamroga, Michal Tomasz Godziszewski, Aniello Murano
2025	J	`jnl`	Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems. CoRR Wojciech Jamroga, Damian Kurpiewski, Lukasz Mikulski
2024	—	`conf`	"You Shall Not Abstain!" A Formal Study of Forced Participation. FC Workshops Wojciech Jamroga, Peter B. Roenne, Yan Kim, Peter Y. A. Ryan
2024	J	`jnl`	Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies. CoRR Dilian Gurov, Filip Jamroga, Wojciech Jamroga, Mateusz Kaminski, Damian Kurpiewski, Wojciech Penczek, Teofil Sidoruk
2024	—	`conf`	Intelligo Ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting. E-Vote-ID Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojciech Jamroga
2024	A	`conf`	Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli
2024	A	`conf`	STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems. ECAI Damian Kurpiewski, Mateusz Kaminski, Wojciech Jamroga
2024	A	`conf`	STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. AAMAS Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga
2024	—	`conf`	Scalable Verification of Social Explainable AI by Variable Abstraction. ICAART (1) Wojciech Jamroga, Yan Kim, Damian Kurpiewski
2023	J	`jnl`	A Declaration of Software Independence. CoRR Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
2023	J	`jnl`	Assume-Guarantee Verification of Strategic Ability. CoRR Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2023	A	`conf`	Computationally Feasible Strategies. AAMAS Catalin Dima, Wojciech Jamroga
2023	J	`jnl`	Computationally Feasible Strategies. CoRR Catalin Dima, Wojciech Jamroga
2023	J	`jnl`	MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
2023	J	`jnl`	Multi-Valued Verification of Strategic Ability. CoRR Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
2023	A	`conf`	Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory. AAMAS Masoud Tabatabaei, Wojciech Jamroga
2023	J	`jnl`	Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory. CoRR Masoud Tabatabaei, Wojciech Jamroga
2023	A*	`conf`	Practical Abstraction for Model Checking of Multi-Agent Systems. KR Wojciech Jamroga, Yan Kim
2023	A*	`conf`	Practical Model Reductions for Verification of Multi-Agent Systems. IJCAI Wojciech Jamroga, Yan Kim
2023	J	`jnl`	Practical Model Reductions for Verification of Multi-Agent Systems. CoRR Wojciech Jamroga, Yan Kim
2023	C	`conf`	Pretty Good Strategies and Where to Find Them. EUMAS Wojciech Jamroga, Damian Kurpiewski
2023	J	`jnl`	Pretty Good Strategies and Where to Find Them. CoRR Wojciech Jamroga, Damian Kurpiewski
2023	—	`conf`	Pretty Good Strategies for Benaloh Challenge. E-Vote-ID Wojciech Jamroga
2023	J	`jnl`	Pretty Good Strategies for Benaloh Challenge. CoRR Wojciech Jamroga
2023	J	`jnl`	STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. CoRR Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
2023	A*	`conf`	Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
2023	J	`jnl`	Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
2023	A	`conf`	Strategic (Timed) Computation Tree Logic. AAMAS Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2023	J	`jnl`	Strategic (Timed) Computation Tree Logic. CoRR Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2023	A*	`conf`	Strategic Abilities of Forgetful Agents in Stochastic Environments. KR Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
2023	J	`jnl`	Strategic Abilities of Forgetful Agents in Stochastic Environments. CoRR Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
2023	J	`jnl`	Towards Assume-Guarantee Verification of Strategic Ability. CoRR Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2023	—	`conf`	Towards Modelling and Verification of Social Explainable AI. ICAART (1) Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk
2023	J	`jnl`	Towards Modelling and Verification of Social Explainable AI. CoRR Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk
2023	J	`jnl`	Verification of Multi-Agent Properties in Electronic Voting: A Case Study. CoRR Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk
2022	B	`conf`	Assume-Guarantee Verification of Strategic Ability. PRIMA Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2022	J	`jnl`	Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. CoRR Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik
2022	J	`jnl`	How to measure usable security: Natural strategies in voting protocols. J. Comput. Secur. Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
2022	J	`jnl`	Practical Abstraction for Model Checking of Multi-Agent Systems. CoRR Wojciech Jamroga, Yan Kim
2022	J	`jnl`	STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. CoRR Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
2022	B	`conf`	STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. PRIMA Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
2022	A	`conf`	Towards Assume-Guarantee Verification of Strategic Ability. AAMAS Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2022	—	`conf`	Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. STAST Yan Kim, Wojciech Jamroga, Peter Y. A. Ryan
2022	J	`jnl`	Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. CoRR Wojciech Jamroga, Peter Y. A. Ryan, Yan Kim
2021	—	`conf`	A Declaration of Software Independence. Protocols, Strands, and Logic Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
2021	J	`jnl`	A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of Requirements. CoRR Wojciech Jamroga
2021	J	`jnl`	Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. Inf. Comput. Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik
2021	J	`jnl`	Convergence Voting: From Pairwise Comparisons to Consensus. CoRR Gergei Bana, Wojciech Jamroga, David Naccache, Peter Y. A. Ryan
2021	A	`conf`	STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. AAMAS Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
2021	A*	`conf`	Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. KR Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
2021	A	`conf`	Strategic Abilities of Asynchronous Agents: Semantic Side Effects. AAMAS Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
2020	J	`jnl`	A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips. CoRR Wojciech Jamroga, David Mestel, Peter B. Rønne, Peter Y. A. Ryan, Marjan Skrobot
2020	J	`jnl`	Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. CoRR Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
2020	A	`conf`	MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
2020	J	`jnl`	Multi-valued Verification of Strategic Ability. Fundam. Informaticae Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
2020	—	`conf`	Natural Strategic Abilities in Voting Protocols. STAST Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
2020	J	`jnl`	Natural Strategic Abilities in Voting Protocols. CoRR Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
2020	J	`jnl`	Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them. CoRR Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
2020	—	`conf`	Towards Model Checking of Voting Protocols in Uppaal. E-VOTE-ID Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
2020	J	`jnl`	Towards Partial Order Reductions for Strategic Ability. J. Artif. Intell. Res. Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz
2019	J	`jnl`	Approximate verification of strategic abilities under imperfect information. Artif. Intell. Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski
2019	A	`conf`	Natural Strategic Ability under Imperfect Information. AAMAS Wojciech Jamroga, Vadim Malvone, Aniello Murano
2019	J	`jnl`	Natural strategic ability. Artif. Intell. Wojciech Jamroga, Vadim Malvone, Aniello Murano
2019	A	`conf`	On Domination and Control in Strategic Ability. AAMAS Damian Kurpiewski, Michal Knapik, Wojciech Jamroga
2019	—	`conf`	On Domination and Control in Strategic Ability. BNAIC/BENELEARN Damian Kurpiewski, Michal Knapik, Wojciech Jamroga
2019	J	`jnl`	Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. ACM Trans. Comput. Log. Nils Bulling, Wojciech Jamroga, Matei Popovici
2019	—	`conf`	Risk-Limiting Tallies. E-VOTE-ID Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark
2019	J	`jnl`	Risk-Limiting Tallies. CoRR Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark
2019	A	`conf`	STV: Model Checking for Strategies under Imperfect Information. AAMAS Damian Kurpiewski, Wojciech Jamroga, Michal Knapik
2019	A*	`conf`	Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!). IJCAI Wojciech Jamroga, Michal Knapik
2019	A	`conf`	Strategic Responsibility Under Imperfect Information. AAMAS Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan
2019	A*	`conf`	Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano
2019	J	`jnl`	Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek
2018	J	`jnl`	Accumulative knowledge under bounded resources. J. Log. Comput. Wojciech Jamroga, Masoud Tabatabaei
2018	C	`conf`	Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper). TIME Wojciech Jamroga
2018	—	`conf`	Model Checking the SELENE E-Voting Protocol in Multi-agent Logics. E-Vote-ID Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
2018	A	`conf`	Towards Partial Order Reductions for Strategic Ability. AAMAS Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz
2017	A	`conf`	Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. AAMAS Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones
2017	A	`conf`	Fixpoint Approximation of Strategic Abilities under Imperfect Information. AAMAS Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
2017	A	`conf`	Reasoning about Natural Strategic Ability. AAMAS Wojciech Jamroga, Vadim Malvone, Aniello Murano
2017	J	`jnl`	SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems. J. Log. Comput. Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
2017	A	`conf`	Timed ATL: Forget Memory, Just Count. AAMAS Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek
2016	J	`jnl`	A Deliberation Procedure for Judgment Aggregation Problems. CoRR Marija Slavkovik, Wojciech Jamroga
2016	J	`jnl`	An Approach to Model Checking ATLir. CoRR Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
2016	—	`conf`	Collaborative embedded systems - a case study. EITEC@CPSWeek Bernd-Holger Schlingloff, Henry Stubert, Wojciech Jamroga
2016	—	`conf`	Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. PrAISe@ECAI Masoud Tabatabaei, Wojciech Jamroga, Peter Y. A. Ryan
2016	—	`conf`	Information Security as Strategic (In)effectivity. STM Wojciech Jamroga, Masoud Tabatabaei
2016	J	`jnl`	Information Security as Strategic (In)effectivity. CoRR Wojciech Jamroga, Masoud Tabatabaei
2016	A	`conf`	Iterative Judgment Aggregation. ECAI Marija Slavkovik, Wojciech Jamroga
2016	A	`conf`	Multi-Valued Verification of Strategic Ability. AAMAS Wojciech Jamroga, Beata Konikowska, Wojciech Penczek
2016	—	`conf`	Preventing Coercion in E-Voting: Be Open and Commit. E-VOTE-ID Wojciech Jamroga, Masoud Tabatabaei
2016	J	`jnl`	State and path coalition effectivity models of concurrent multi-player games. Auton. Agents Multi Agent Syst. Valentin Goranko, Wojciech Jamroga
2015	J	`jnl`	Approximating Strategic Abilities under Imperfect Information: a Naive Approach. CoRR Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
2015	—	`ch.`	Logics for Reasoning About Strategic Abilities in Multi-player Games. Models of Strategic Reasoning Nils Bulling, Valentin Goranko, Wojciech Jamroga
2015	B	`conf`	Module Checking for Uncertain Agents. PRIMA Wojciech Jamroga, Aniello Murano
2015	A	`conf`	Module Checking of Strategic Ability. AAMAS Wojciech Jamroga, Aniello Murano
2015	Misc	`conf`	Strategic Noninterference. SEC Wojciech Jamroga, Masoud Tabatabaei
2014	A	`conf`	ATL* With Truly Perfect Recall: Expressivity and Validities. ECAI Nils Bulling, Wojciech Jamroga, Matei Popovici
2014	A	`conf`	Agents with truly perfect recall in alternating-time temporal logic. AAMAS Nils Bulling, Wojciech Jamroga, Matei Popovici
2014	J	`jnl`	Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. Auton. Agents Multi Agent Syst. Nils Bulling, Wojciech Jamroga
2014	—	`conf`	Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall. IEEE Conf. on Intelligent Systems (1) Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
2014	B	`conf`	Multi-agency Is Coordination and (Limited) Communication. PRIMA Piotr Kazmierczak, Thomas Ågotnes, Wojciech Jamroga
2014	—	`conf`	On Defendability of Security Properties. SR Wojciech Jamroga, Matthijs Melissen, Henning Schnoor
2014	A	`conf`	On module checking and strategies. AAMAS Wojciech Jamroga, Aniello Murano
2014	—	`conf`	Synthesis and Verification of Uniform Strategies for Multi-agent Systems. CLIMA Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
2013	—	`conf`	Accumulative Knowledge under Bounded Resources. CLIMA Wojciech Jamroga, Masoud Tabatabaei
2013	B	`conf`	Defendable Security in Interaction Protocols. PRIMA Wojciech Jamroga, Matthijs Melissen, Henning Schnoor
2013	—	`conf`	Modularity and Openness in Modeling Multi-Agent Systems. GandALF Wojciech Jamroga, Artur Meski, Maciej Szreter
2013	—	`conf`	Some Complexity Results for Distance-Based Judgment Aggregation. Australasian Conference on Artificial Intelligence Wojciech Jamroga, Marija Slavkovik
2013	J	`jnl`	Strategic games and truly playable effectivity functions. Auton. Agents Multi Agent Syst. Valentin Goranko, Wojciech Jamroga, Paolo Turrini
2012	A	`conf`	Concepts, Agents, and Coalitions in Alternating Time. ECAI Wojciech Jamroga
2012	A	`conf`	Distance-based rules for weighted judgment aggregation. AAMAS Marija Slavkovik, Wojciech Jamroga
2012	A	`conf`	State and path coalition effectivity models for logics of multi-player games. AAMAS Valentin Goranko, Wojciech Jamroga
2011	A*	`conf`	Agents, Actions and Goals in Dynamic Environments. IJCAI Peter Novák, Wojciech Jamroga
2011	A*	`conf`	Alternating Epistemic Mu-Calculus. IJCAI Nils Bulling, Wojciech Jamroga
2011	A*	`conf`	Comparing Variants of Strategic Ability. IJCAI Wojciech Jamroga, Nils Bulling
2011	Misc	`conf`	Doubtful Deviations and Farsighted Play. EPIA Wojciech Jamroga, Matthijs Melissen
2011	—	`conf`	Fairness in Non-Repudiation Protocols. STM Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen
2011	J	`jnl`	Foreword. J. Appl. Non Class. Logics Valentin Goranko, Wojciech Jamroga
2011	—	`ed.`	Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011 M4M/LAMAS Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego
2011	—	`conf`	Specification and Verification of Multi-Agent Systems. ESSLLI Wojciech Jamroga, Wojciech Penczek
2011	A	`conf`	Strategic games and truly playable effectivity functions. AAMAS Valentin Goranko, Wojciech Jamroga, Paolo Turrini
2010	A	`conf`	Reasoning about strategies of multi-agent programs. AAMAS Mehdi Dastani, Wojciech Jamroga
2010	A	`conf`	Verifying agents with memory is harder than it seemed. AAMAS Nils Bulling, Wojciech Jamroga
2010	J	`jnl`	Verifying agents with memory is harder than it seemed. AI Commun. Nils Bulling, Wojciech Jamroga
2009	—	`conf`	Coalition Description Logic with Individuals. M4M Inanç Seylan, Wojciech Jamroga
2009	—	`conf`	Code patterns for agent-oriented programming. AAMAS (1) Peter Novák, Wojciech Jamroga
2009	—	`conf`	Description logic for coalitions. AAMAS (1) Inanç Seylan, Wojciech Jamroga
2009	—	`conf`	Rational play and rational beliefs under uncertainty. AAMAS (1) Nils Bulling, Wojciech Jamroga
2009	J	`jnl`	What Agents Can Probably Enforce. Fundam. Informaticae Nils Bulling, Wojciech Jamroga
2008	B	`conf`	A Temporal Logic for Stochastic Multi-Agent Systems. PRIMA Wojciech Jamroga
2008	—	`conf`	A temporal logic for Markov chains. AAMAS (2) Wojciech Jamroga
2008	—	`conf`	Easy Yet Hard: Model Checking Strategies of Agents. CLIMA Wojciech Jamroga
2008	—	`conf`	Knowledge and Strategic Ability for Model Checking: A Refined Approach. MATES Wojciech Jamroga
2008	J	`jnl`	Model Checking Abilities of Agents: A Closer Look. Theory Comput. Syst. Wojciech Jamroga, Jürgen Dix
2008	J	`jnl`	Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. Nils Bulling, Wojciech Jamroga, Jürgen Dix
2007	—	`conf`	A Logic for Reasoning about Rational Agents. CLIMA Wojciech Jamroga, Nils Bulling
2007	A	`conf`	A framework for reasoning about rational agents. AAMAS Wojciech Jamroga, Nils Bulling
2007	J	`jnl`	AAMAS 2007. Künstliche Intell. Wojciech Jamroga
2007	A	`conf`	Agents, beliefs, and plausible behavior in a temporal setting. AAMAS Nils Bulling, Wojciech Jamroga
2007	B	`conf`	Alternating-time temporal logics with irrevocable strategies. TARK Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga
2007	J	`jnl`	Constructive knowledge: what agents can achieve under imperfect information. J. Appl. Non Class. Logics Wojciech Jamroga, Thomas Ågotnes
2007	A	`conf`	Modular interpreted systems. AAMAS Wojciech Jamroga, Thomas Ågotnes
2007	J	`jnl`	Towards a theory of intention revision. Synth. Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge
2006	J	`jnl`	Expressing and Verifying Temporal and Structural Properties of Mobile Agents. Fundam. Informaticae Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Pawlowski
2006	C	`conf`	Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. EUMAS Wojciech Jamroga, Jürgen Dix
2006	Misc	`conf`	On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account. KI Wojciech Jamroga
2006	A	`conf`	What agents can achieve under incomplete information. AAMAS Wojciech Jamroga, Thomas Ågotnes
2005	A	`conf`	A logic for strategic reasoning. AAMAS Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge
2005	—	`conf`	Do Agents Make Model Checking Explode (Computationally)? CEEMAS Wojciech Jamroga, Jürgen Dix
2005	Misc	`conf`	Intentions and Strategies in Game-Like Scenarios. EPIA Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge
2005	—	`conf`	Model Checking Strategic Abilities of Agents Under Incomplete Information. ICTCS Wojciech Jamroga, Jürgen Dix
2005	—	`conf`	Turning Game Models Turn-Based for Model Checking Properties of Agents. BNAIC Wojciech Jamroga, Jürgen Dix
2004	J	`jnl`	Agents that Know How to Play. Fundam. Informaticae Wojciech Jamroga, Wiebe van der Hoek
2004	J	`jnl`	Comparing Semantics of Logics for Multi-Agent Systems. Synth. Valentin Goranko, Wojciech Jamroga
2004	—	`conf`	On Obligations and Abilities. DEON Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge
2004	Misc	`conf`	Strategic Planning through Model Checking of ATL Formulae. ICAISC Wojciech Jamroga
2003	—	`conf`	Safer Decisions Against A Dynamic Opponent. IIS Wojciech Jamroga
2001	—	`conf`	A Defense Model for Games with Incomplete Information. KI/ÖGAI Wojciech Jamroga