Wojciech Jamroga

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 84

Top Venues

Publications

Wojciech Jamroga, Yan Kim, Damian Kurpiewski
Scalable Verification of Social Explainable AI by Variable Abstraction. ICAART (1) (2024)
Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga
STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. AAMAS (2024)
Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli
Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS (2024)
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
Strategic Abilities of Forgetful Agents in Stochastic Environments. CoRR (2023)
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
Towards Assume-Guarantee Verification of Strategic Ability. CoRR (2023)
Wojciech Jamroga
Pretty Good Strategies for Benaloh Challenge. CoRR (2023)
Catalin Dima, Wojciech Jamroga
Computationally Feasible Strategies. CoRR (2023)
Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk
Towards Modelling and Verification of Social Explainable AI. ICAART (1) (2023)
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. CoRR (2023)
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
Strategic Abilities of Forgetful Agents in Stochastic Environments. KR (2023)
Wojciech Jamroga, Damian Kurpiewski
Pretty Good Strategies and Where to Find Them. EUMAS (2023)
Wojciech Jamroga, Yan Kim
Practical Abstraction for Model Checking of Multi-Agent Systems. KR (2023)
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
Multi-Valued Verification of Strategic Ability. CoRR (2023)
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI (2023)
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
Strategic (Timed) Computation Tree Logic. CoRR (2023)
Wojciech Jamroga, Damian Kurpiewski
Pretty Good Strategies and Where to Find Them. CoRR (2023)
Masoud Tabatabaei, Wojciech Jamroga
Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory. CoRR (2023)
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
Strategic (Timed) Computation Tree Logic. AAMAS (2023)
Wojciech Jamroga, Yan Kim
Practical Model Reductions for Verification of Multi-Agent Systems. IJCAI (2023)
Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk
Towards Modelling and Verification of Social Explainable AI. CoRR (2023)
Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. CoRR (2023)
Wojciech Jamroga, Yan Kim
Practical Model Reductions for Verification of Multi-Agent Systems. CoRR (2023)
Masoud Tabatabaei, Wojciech Jamroga
Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory. AAMAS (2023)
Catalin Dima, Wojciech Jamroga
Computationally Feasible Strategies. AAMAS (2023)
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR (2023)
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR (2023)
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
A Declaration of Software Independence. CoRR (2023)
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
Assume-Guarantee Verification of Strategic Ability. CoRR (2023)
Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. PRIMA (2022)
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. CoRR (2022)
Wojciech Jamroga, Yan Kim
Practical Abstraction for Model Checking of Multi-Agent Systems. CoRR (2022)
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
Assume-Guarantee Verification of Strategic Ability. PRIMA (2022)
Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. CoRR (2022)
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
Towards Assume-Guarantee Verification of Strategic Ability. AAMAS (2022)
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
How to measure usable security: Natural strategies in voting protocols. J. Comput. Secur. 30 (3) (2022)
Wojciech Jamroga, Peter Y. A. Ryan, Yan Kim
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. CoRR (2022)
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. KR (2021)
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
A Declaration of Software Independence. Protocols, Strands, and Logic (2021)
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. AAMAS (2021)
Wojciech Jamroga
A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of Requirements. CoRR (2021)
Gergei Bana, Wojciech Jamroga, David Naccache, Peter Y. A. Ryan
Convergence Voting: From Pairwise Comparisons to Consensus. CoRR (2021)
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. Inf. Comput. 276 (2021)
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
Strategic Abilities of Asynchronous Agents: Semantic Side Effects. AAMAS (2021)
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them. CoRR (2020)
Wojciech Jamroga, David Mestel, Peter B. Rønne, Peter Y. A. Ryan, Marjan Skrobot
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips. CoRR (2020)
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
Natural Strategic Abilities in Voting Protocols. STAST (2020)
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS (2020)
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
Towards Model Checking of Voting Protocols in Uppaal. E-VOTE-ID (2020)
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz
Towards Partial Order Reductions for Strategic Ability. J. Artif. Intell. Res. 68 (2020)
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
Natural Strategic Abilities in Voting Protocols. CoRR (2020)
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. CoRR (2020)
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
Multi-valued Verification of Strategic Ability. Fundam. Informaticae 175 (1-4) (2020)
Damian Kurpiewski, Wojciech Jamroga, Michal Knapik
STV: Model Checking for Strategies under Imperfect Information. AAMAS (2019)
Damian Kurpiewski, Michal Knapik, Wojciech Jamroga
On Domination and Control in Strategic Ability. BNAIC/BENELEARN (2019)
Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan
Strategic Responsibility Under Imperfect Information. AAMAS (2019)
Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark
Risk-Limiting Tallies. E-VOTE-ID (2019)
Wojciech Jamroga, Michal Knapik
Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!). IJCAI (2019)
Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI (2019)
Wojciech Jamroga, Vadim Malvone, Aniello Murano
Natural Strategic Ability under Imperfect Information. AAMAS (2019)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski
Approximate verification of strategic abilities under imperfect information. Artif. Intell. 277 (2019)
Nils Bulling, Wojciech Jamroga, Matei Popovici
Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. ACM Trans. Comput. Log. 20 (2) (2019)
Wojciech Jamroga, Vadim Malvone, Aniello Murano
Natural strategic ability. Artif. Intell. 277 (2019)
Damian Kurpiewski, Michal Knapik, Wojciech Jamroga
On Domination and Control in Strategic Ability. AAMAS (2019)
Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark
Risk-Limiting Tallies. CoRR (2019)
Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek
Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. 66 (2019)
Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz
Towards Partial Order Reductions for Strategic Ability. AAMAS (2018)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
Model Checking the SELENE E-Voting Protocol in Multi-agent Logics. E-Vote-ID (2018)
Wojciech Jamroga
Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper). TIME (2018)
Wojciech Jamroga, Masoud Tabatabaei
Accumulative knowledge under bounded resources. J. Log. Comput. 28 (3) (2018)
Wojciech Jamroga, Vadim Malvone, Aniello Murano
Reasoning about Natural Strategic Ability. AAMAS (2017)
Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems. J. Log. Comput. 27 (7) (2017)
Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek
Timed ATL: Forget Memory, Just Count. AAMAS (2017)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
Fixpoint Approximation of Strategic Abilities under Imperfect Information. AAMAS (2017)
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. AAMAS (2017)
Marija Slavkovik, Wojciech Jamroga
A Deliberation Procedure for Judgment Aggregation Problems. CoRR (2016)
Wojciech Jamroga, Masoud Tabatabaei
Information Security as Strategic (In)effectivity. CoRR (2016)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
An Approach to Model Checking ATLir. CoRR (2016)
Wojciech Jamroga, Masoud Tabatabaei
Information Security as Strategic (In)effectivity. STM (2016)
Bernd-Holger Schlingloff, Henry Stubert, Wojciech Jamroga
Collaborative embedded systems - a case study. EITEC@CPSWeek (2016)
Wojciech Jamroga, Beata Konikowska, Wojciech Penczek
Multi-Valued Verification of Strategic Ability. AAMAS (2016)
Marija Slavkovik, Wojciech Jamroga
Iterative Judgment Aggregation. ECAI (2016)
Wojciech Jamroga, Masoud Tabatabaei
Preventing Coercion in E-Voting: Be Open and Commit. E-VOTE-ID (2016)
Valentin Goranko, Wojciech Jamroga
State and path coalition effectivity models of concurrent multi-player games. Auton. Agents Multi Agent Syst. 30 (3) (2016)
Masoud Tabatabaei, Wojciech Jamroga, Peter Y. A. Ryan
Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. PrAISe@ECAI (2016)
Wojciech Jamroga, Aniello Murano
Module Checking of Strategic Ability. AAMAS (2015)
Wojciech Jamroga, Aniello Murano
Module Checking for Uncertain Agents. PRIMA (2015)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
Approximating Strategic Abilities under Imperfect Information: a Naive Approach. CoRR (2015)
Wojciech Jamroga, Masoud Tabatabaei
Strategic Noninterference. SEC (2015)
Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
Synthesis and Verification of Uniform Strategies for Multi-agent Systems. CLIMA (2014)
Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall. IEEE Conf. on Intelligent Systems (1) (2014)
Nils Bulling, Wojciech Jamroga
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. Auton. Agents Multi Agent Syst. 28 (3) (2014)
Wojciech Jamroga, Matthijs Melissen, Henning Schnoor
On Defendability of Security Properties. SR (2014)
Wojciech Jamroga, Aniello Murano
On module checking and strategies. AAMAS (2014)
Piotr Kazmierczak, Thomas Ågotnes, Wojciech Jamroga
Multi-agency Is Coordination and (Limited) Communication. PRIMA (2014)
Nils Bulling, Wojciech Jamroga, Matei Popovici
ATL* With Truly Perfect Recall: Expressivity and Validities. ECAI (2014)
Nils Bulling, Wojciech Jamroga, Matei Popovici
Agents with truly perfect recall in alternating-time temporal logic. AAMAS (2014)
Valentin Goranko, Wojciech Jamroga, Paolo Turrini
Strategic games and truly playable effectivity functions. Auton. Agents Multi Agent Syst. 26 (2) (2013)
Wojciech Jamroga, Masoud Tabatabaei
Accumulative Knowledge under Bounded Resources. CLIMA (2013)
Wojciech Jamroga, Marija Slavkovik
Some Complexity Results for Distance-Based Judgment Aggregation. Australasian Conference on Artificial Intelligence (2013)
Wojciech Jamroga, Artur Meski, Maciej Szreter
Modularity and Openness in Modeling Multi-Agent Systems. GandALF (2013)

Wojciech Jamroga.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wojciech Jamroga