default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWojciech Jamroga
Wojtek Jamroga
Person information
- affiliation: Polish Academy of Sciences, Warsaw, Poland
- affiliation: University of Luxembourg
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c101]Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano:
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. AAMAS 2024: 160-169- [c100]Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli:
Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS 2024: 926-934 - [c99]Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga:
STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. AAMAS 2024: 2812-2814 - [c98]Damian Kurpiewski
, Wojciech Jamroga:
STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems. ECAI 2024: 4483-4486 - [c97]Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojciech Jamroga:
Intelligo Ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting. E-Vote-ID 2024: 158-174 - [c96]Wojciech Jamroga, Yan Kim, Damian Kurpiewski:
Scalable Verification of Social Explainable AI by Variable Abstraction. ICAART (1) 2024: 149-158 - [i34]Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojtek Jamroga:
Intelligo ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting (long version). CoRR abs/2407.13240 (2024) - 2023
- [c95]Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Strategic (Timed) Computation Tree Logic. AAMAS 2023: 382-390 - [c94]Masoud Tabatabaei, Wojciech Jamroga:
Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory. AAMAS 2023: 766-774 - [c93]Catalin Dima, Wojciech Jamroga:
Computationally Feasible Strategies. AAMAS 2023: 784-792 - [c92]Wojciech Jamroga, Damian Kurpiewski:
Pretty Good Strategies and Where to Find Them. EUMAS 2023: 363-380 - [c91]Wojciech Jamroga:
Pretty Good Strategies for Benaloh Challenge. E-Vote-ID 2023: 106-122 - [c90]Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk:
Towards Modelling and Verification of Social Explainable AI. ICAART (1) 2023: 396-403 - [c89]Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI 2023: 46-54 - [c88]Wojciech Jamroga, Yan Kim:
Practical Model Reductions for Verification of Multi-Agent Systems. IJCAI 2023: 7135-7139 - [c87]Wojciech Jamroga, Yan Kim:
Practical Abstraction for Model Checking of Multi-Agent Systems. KR 2023: 384-394 - [c86]Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. KR 2023: 726-731 - [i33]Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk:
Towards Modelling and Verification of Social Explainable AI. CoRR abs/2302.01063 (2023) - [i32]Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Strategic (Timed) Computation Tree Logic. CoRR abs/2302.13405 (2023) - [i31]Masoud Tabatabaei, Wojciech Jamroga:
Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory. CoRR abs/2303.00067 (2023) - [i30]Wojciech Jamroga:
Pretty Good Strategies for Benaloh Challenge. CoRR abs/2307.03258 (2023) - [i29]Wojciech Jamroga, Yan Kim:
Practical Model Reductions for Verification of Multi-Agent Systems. CoRR abs/2307.10068 (2023) - [i28]Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Assume-Guarantee Verification of Strategic Ability. CoRR abs/2310.15686 (2023) - [i27]Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Towards Assume-Guarantee Verification of Strategic Ability. CoRR abs/2310.15727 (2023) - [i26]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 abs/2310.15789 (2023) - [i25]Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga:
MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR abs/2310.16519 (2023) - [i24]Wojciech Jamroga, Damian Kurpiewski:
Pretty Good Strategies and Where to Find Them. CoRR abs/2310.16531 (2023) - [i23]Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR abs/2310.17219 (2023) - [i22]Catalin Dima, Wojciech Jamroga:
Computationally Feasible Strategies. CoRR abs/2310.17234 (2023) - [i21]Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. CoRR abs/2310.17240 (2023) - [i20]Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim:
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. CoRR abs/2310.18418 (2023) - [i19]Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek:
Multi-Valued Verification of Strategic Ability. CoRR abs/2310.20344 (2023) - [i18]Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark:
A Declaration of Software Independence. CoRR abs/2311.03372 (2023) - 2022
- [j24]Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone:
How to measure usable security: Natural strategies in voting protocols. J. Comput. Secur. 30(3): 381-409 (2022) - [c85]Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski:
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML 2022: 531-556 - [c84]Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS 2022: 62-71 - [c83]Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Towards Assume-Guarantee Verification of Strategic Ability. AAMAS 2022: 1702-1704 - [c82]Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Assume-Guarantee Verification of Strategic Ability. PRIMA 2022: 173-191 - [c81]Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga:
STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. PRIMA 2022: 691-696 - [i17]Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR abs/2201.09616 (2022) - [i16]Wojciech Jamroga, Yan Kim:
Practical Abstraction for Model Checking of Multi-Agent Systems. CoRR abs/2202.12016 (2022) - [i15]Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga:
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. CoRR abs/2203.01033 (2022) - [i14]Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik:
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. CoRR abs/2203.13692 (2022) - [i13]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 abs/2210.10694 (2022) - 2021
- [j23]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: 104552 (2021) - [c80]Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk:
Strategic Abilities of Asynchronous Agents: Semantic Side Effects. AAMAS 2021: 1545-1547 - [c79]Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim:
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. AAMAS 2021: 1770-1772 - [c78]Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark:
A Declaration of Software Independence. Protocols, Strands, and Logic 2021: 198-217 - [c77]Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk:
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. KR 2021: 368-378 - [i12]Wojciech Jamroga:
A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of Requirements. CoRR abs/2101.09241 (2021) - [i11]Gergei Bana, Wojciech Jamroga, David Naccache, Peter Y. A. Ryan:
Convergence Voting: From Pairwise Comparisons to Consensus. CoRR abs/2102.01995 (2021) - 2020
- [j22]Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek:
Multi-valued Verification of Strategic Ability. Fundam. Informaticae 175(1-4): 207-251 (2020) - [j21]Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz:
Towards Partial Order Reductions for Strategic Ability. J. Artif. Intell. Res. 68: 817-850 (2020) - [c76]Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga:
MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS 2020: 2111-2113 - [c75]Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan:
Towards Model Checking of Voting Protocols in Uppaal. E-VOTE-ID 2020: 129-146 - [c74]Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone:
Natural Strategic Abilities in Voting Protocols. STAST 2020: 45-62 - [i10]Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk:
Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them. CoRR abs/2003.03867 (2020) - [i9]Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan:
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. CoRR abs/2007.12412 (2020) - [i8]Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone:
Natural Strategic Abilities in Voting Protocols. CoRR abs/2007.12424 (2020) - [i7]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 abs/2011.07887 (2020)
2010 – 2019
- 2019
- [j20]Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski:
Approximate verification of strategic abilities under imperfect information. Artif. Intell. 277 (2019) - [j19]Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Natural strategic ability. Artif. Intell. 277 (2019) - [j18]Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek:
Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. 66: 197-223 (2019) - [j17]Nils Bulling, Wojciech Jamroga, Matei Popovici:
Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. ACM Trans. Comput. Log. 20(2): 10:1-10:46 (2019) - [c73]Damian Kurpiewski, Michal Knapik, Wojciech Jamroga:
On Domination and Control in Strategic Ability. AAMAS 2019: 197-205 - [c72]Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan:
Strategic Responsibility Under Imperfect Information. AAMAS 2019: 592-600 - [c71]Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Natural Strategic Ability under Imperfect Information. AAMAS 2019: 962-970 - [c70]Damian Kurpiewski, Wojciech Jamroga, Michal Knapik:
STV: Model Checking for Strategies under Imperfect Information. AAMAS 2019: 2372-2374 - [c69]Damian Kurpiewski, Michal Knapik, Wojciech Jamroga:
On Domination and Control in Strategic Ability. BNAIC/BENELEARN 2019 - [c68]Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano:
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI 2019: 88-94 - [c67]Wojciech Jamroga, Michal Knapik:
Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!). IJCAI 2019: 1734-1740 - [c66]Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark:
Risk-Limiting Tallies. E-VOTE-ID 2019: 183-199 - [i6]Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark:
Risk-Limiting Tallies. CoRR abs/1908.04947 (2019) - 2018
- [j16]Wojciech Jamroga, Masoud Tabatabaei:
Accumulative knowledge under bounded resources. J. Log. Comput. 28(3): 581-604 (2018) - [c65]Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz:
Towards Partial Order Reductions for Strategic Ability. AAMAS 2018: 156-165 - [c64]Wojciech Jamroga:
Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper). TIME 2018: 3:1-3:10 - [c63]Wojciech Jamroga, Michal Knapik, Damian Kurpiewski:
Model Checking the SELENE E-Voting Protocol in Multi-agent Logics. E-Vote-ID 2018: 100-116 - 2017
- [j15]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): 1871-1895 (2017) - [c62]Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Reasoning about Natural Strategic Ability. AAMAS 2017: 714-722 - [c61]Wojciech Jamroga, Michal Knapik, Damian Kurpiewski:
Fixpoint Approximation of Strategic Abilities under Imperfect Information. AAMAS 2017: 1241-1249 - [c60]Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones:
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. AAMAS 2017: 1286-1295 - [c59]Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek:
Timed ATL: Forget Memory, Just Count. AAMAS 2017: 1460-1462 - 2016
- [j14]Valentin Goranko, Wojciech Jamroga:
State and path coalition effectivity models of concurrent multi-player games. Auton. Agents Multi Agent Syst. 30(3): 446-485 (2016) - [c58]Wojciech Jamroga, Beata Konikowska, Wojciech Penczek:
Multi-Valued Verification of Strategic Ability. AAMAS 2016: 1180-1189 - [c57]Bernd-Holger Schlingloff, Henry Stubert, Wojciech Jamroga:
Collaborative embedded systems - a case study. EITEC@CPSWeek 2016: 17-22 - [c56]Masoud Tabatabaei, Wojciech Jamroga, Peter Y. A. Ryan:
Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. PrAISe@ECAI 2016: 1:1-1:8 - [c55]Marija Slavkovik, Wojciech Jamroga:
Iterative Judgment Aggregation. ECAI 2016: 1528-1536 - [c54]Wojciech Jamroga, Masoud Tabatabaei:
Information Security as Strategic (In)effectivity. STM 2016: 154-169 - [c53]Wojciech Jamroga, Masoud Tabatabaei:
Preventing Coercion in E-Voting: Be Open and Commit. E-VOTE-ID 2016: 1-17 - [i5]Marija Slavkovik, Wojciech Jamroga:
A Deliberation Procedure for Judgment Aggregation Problems. CoRR abs/1604.06356 (2016) - [i4]Wojciech Jamroga, Masoud Tabatabaei:
Information Security as Strategic (In)effectivity. CoRR abs/1608.02247 (2016) - [i3]Wojciech Jamroga, Michal Knapik, Damian Kurpiewski:
An Approach to Model Checking ATLir. CoRR abs/1612.02684 (2016) - 2015
- [c52]Wojciech Jamroga, Aniello Murano:
Module Checking of Strategic Ability. AAMAS 2015: 227-235 - [c51]Wojciech Jamroga, Aniello Murano:
Module Checking for Uncertain Agents. PRIMA 2015: 232-247 - [c50]Wojciech Jamroga, Masoud Tabatabaei:
Strategic Noninterference. SEC 2015: 67-81 - [p1]Nils Bulling, Valentin Goranko, Wojciech Jamroga:
Logics for Reasoning About Strategic Abilities in Multi-player Games. Models of Strategic Reasoning 2015: 93-136 - [i2]Wojciech Jamroga, Michal Knapik, Damian Kurpiewski:
Approximating Strategic Abilities under Imperfect Information: a Naive Approach. CoRR abs/1510.06587 (2015) - 2014
- [j13]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): 474-518 (2014) - [c49]Wojciech Jamroga, Aniello Murano:
On module checking and strategies. AAMAS 2014: 701-708 - [c48]Nils Bulling, Wojciech Jamroga, Matei Popovici:
Agents with truly perfect recall in alternating-time temporal logic. AAMAS 2014: 1561-1562 - [c47]Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga:
Synthesis and Verification of Uniform Strategies for Multi-agent Systems. CLIMA 2014: 166-182 - [c46]Nils Bulling, Wojciech Jamroga, Matei Popovici:
ATL* With Truly Perfect Recall: Expressivity and Validities. ECAI 2014: 177-182 - [c45]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: 415-426 - [c44]Piotr Kazmierczak, Thomas Ågotnes, Wojciech Jamroga:
Multi-agency Is Coordination and (Limited) Communication. PRIMA 2014: 91-106 - [c43]Wojciech Jamroga, Matthijs Melissen, Henning Schnoor:
On Defendability of Security Properties. SR 2014: 17-25 - [e3]Nils Bulling, Leendert W. N. van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Weber Vasconcelos:
Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings. Lecture Notes in Computer Science 8624, Springer 2014, ISBN 978-3-319-09763-3 [contents] - 2013
- [j12]Valentin Goranko, Wojciech Jamroga, Paolo Turrini:
Strategic games and truly playable effectivity functions. Auton. Agents Multi Agent Syst. 26(2): 288-314 (2013) - [c42]Wojciech Jamroga, Marija Slavkovik:
Some Complexity Results for Distance-Based Judgment Aggregation. Australasian Conference on Artificial Intelligence 2013: 313-325 - [c41]Wojciech Jamroga, Masoud Tabatabaei:
Accumulative Knowledge under Bounded Resources. CLIMA 2013: 206-222 - [c40]Wojciech Jamroga, Matthijs Melissen, Henning Schnoor:
Defendable Security in Interaction Protocols. PRIMA 2013: 132-148 - [c39]Wojciech Jamroga, Artur Meski, Maciej Szreter:
Modularity and Openness in Modeling Multi-Agent Systems. GandALF 2013: 224-239 - 2012
- [c38]Valentin Goranko, Wojciech Jamroga:
State and path coalition effectivity models for logics of multi-player games. AAMAS 2012: 1123-1130 - [c37]Marija Slavkovik, Wojciech Jamroga:
Distance-based rules for weighted judgment aggregation. AAMAS 2012: 1405-1406 - [c36]Wojciech Jamroga:
Concepts, Agents, and Coalitions in Alternating Time. ECAI 2012: 438-443 - 2011
- [j11]Valentin Goranko, Wojciech Jamroga:
Foreword. J. Appl. Non Class. Logics 21(1): 7-8 (2011) - [c35]Valentin Goranko, Wojciech Jamroga, Paolo Turrini:
Strategic games and truly playable effectivity functions. AAMAS 2011: 727-734 - [c34]Wojciech Jamroga, Matthijs Melissen:
Doubtful Deviations and Farsighted Play. EPIA 2011: 506-520 - [c33]Wojciech Jamroga, Wojciech Penczek:
Specification and Verification of Multi-Agent Systems. ESSLLI 2011: 210-263 - [c32]Nils Bulling, Wojciech Jamroga:
Alternating Epistemic Mu-Calculus. IJCAI 2011: 109-114 - [c31]